Tue, 15 Aug 2017 18:15:04 +0200 | wenzelm | merged | changeset | files |
Tue, 15 Aug 2017 12:11:25 +0200 | wenzelm | Added tag Isabelle2017-RC0 for changeset a5dd01b68218 | changeset | files |
Tue, 15 Aug 2017 14:54:47 +0100 | paulson | merged | changeset | files |