| Wed, 15 Aug 2018 16:04:15 +0200 | wenzelm | merged | changeset | files |
| Wed, 15 Aug 2018 13:08:25 +0200 | wenzelm | Added tag Isabelle2018 for changeset 91162dd89571 | changeset | files |
| Wed, 15 Aug 2018 13:21:14 +0200 | wenzelm | merged | changeset | files |
| Wed, 15 Aug 2018 13:02:48 +0200 | wenzelm | canonical session directories in correspondence to Known.files; | changeset | files |
| Tue, 14 Aug 2018 16:05:40 +0100 | paulson | Zorn's lemma for relations defined by predicates | changeset | files |
| Sun, 12 Aug 2018 14:31:46 +0200 | wenzelm | merged | changeset | files |
| Sun, 12 Aug 2018 14:28:28 +0200 | wenzelm | proper session dirs; | changeset | files |