Wed, 11 Jul 2018 09:43:48 +0200 (re)moved lemmas
nipkow [Wed, 11 Jul 2018 09:43:48 +0200] rev 68752
(re)moved lemmas
Wed, 11 Jul 2018 11:16:26 +0200 updated to renaming
nipkow [Wed, 11 Jul 2018 11:16:26 +0200] rev 68751
updated to renaming
Wed, 15 Aug 2018 16:09:44 +0200 updated common hosts;
wenzelm [Wed, 15 Aug 2018 16:09:44 +0200] rev 68750
updated common hosts;
Wed, 15 Aug 2018 16:04:15 +0200 merged
wenzelm [Wed, 15 Aug 2018 16:04:15 +0200] rev 68749
merged
Wed, 15 Aug 2018 13:08:25 +0200 Added tag Isabelle2018 for changeset 91162dd89571
wenzelm [Wed, 15 Aug 2018 13:08:25 +0200] rev 68748
Added tag Isabelle2018 for changeset 91162dd89571
Wed, 15 Aug 2018 13:21:14 +0200 merged
wenzelm [Wed, 15 Aug 2018 13:21:14 +0200] rev 68747
merged
Wed, 15 Aug 2018 13:02:48 +0200 canonical session directories in correspondence to Known.files;
wenzelm [Wed, 15 Aug 2018 13:02:48 +0200] rev 68746
canonical session directories in correspondence to Known.files;
Tue, 14 Aug 2018 16:05:40 +0100 Zorn's lemma for relations defined by predicates
paulson <lp15@cam.ac.uk> [Tue, 14 Aug 2018 16:05:40 +0100] rev 68745
Zorn's lemma for relations defined by predicates
Sun, 12 Aug 2018 14:31:46 +0200 merged
wenzelm [Sun, 12 Aug 2018 14:31:46 +0200] rev 68744
merged
Sun, 12 Aug 2018 14:28:28 +0200 proper session dirs; Isabelle2018
wenzelm [Sun, 12 Aug 2018 14:28:28 +0200] rev 68743
proper session dirs;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 tip