transitivity should be now in a reasonable state. But Markus has to have a look at some of the advanced features.
transitivity should be now in a reasonable state. But
Markus has to have a look at some of the advanced features.

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle