tree c50a83bcb5016b55858e38afde94c793397ed6b3
parent d92835b2145353037093680c7e09a6f51bdbe641
author Akron <nils@diewald-online.de> 1510326792 +0100
committer Akron <nils@diewald-online.de> 1510326792 +0100

Introduce display of relational structures (experimental)

Change-Id: I3f8f16ff477e0ff21d846a4a0799a8e48f3f43e4