Sun, 24 Jun 2018 15:57:48 +0200 | wenzelm | simplified ZF theory names (in contrast to 6a0801279f4c): session-qualification already achieves disjointness; | changeset | files |
Sun, 24 Jun 2018 11:41:41 +0100 | paulson | merged | changeset | files |
Sun, 24 Jun 2018 11:41:32 +0100 | paulson | more modernisaton and de-applying | changeset | files |