Thu, 03 Aug 2017 21:38:05 +0200 paulson eliminated more "guess", etc.
Thu, 03 Aug 2017 14:15:25 +0200 paulson merged
Thu, 03 Aug 2017 14:15:06 +0200 paulson more tidying
Thu, 03 Aug 2017 11:29:08 +0200 paulson more tidying up
Thu, 03 Aug 2017 10:52:13 +0200 paulson merged
Thu, 03 Aug 2017 08:09:15 +0200 paulson merged
Wed, 02 Aug 2017 23:15:15 +0200 paulson removed all "guess"
Thu, 03 Aug 2017 23:03:44 +0200 nipkow tuned
Thu, 03 Aug 2017 11:38:55 +0200 nipkow merged
Thu, 03 Aug 2017 09:30:09 +0200 nipkow added lemmas
Wed, 02 Aug 2017 20:33:39 +0200 haftmann simplified function specification history: each pending function specification is historized at the end of a theory, without additional bookkeeping;
Thu, 03 Aug 2017 07:31:25 +0200 nipkow merged
Wed, 02 Aug 2017 18:22:02 +0200 nipkow generalized lemma
Tue, 01 Aug 2017 20:38:39 +0200 haftmann tuned references
Wed, 02 Aug 2017 16:31:42 +0200 paulson fixed another horrible proof
(0) -30000 -10000 -3000 -1000 -300 -100 -15 +15 +100 +300 +1000 +3000 +10000 tip