Mon, 06 Aug 2001 15:54:29 +0200 1 -> 1'
nipkow [Mon, 06 Aug 2001 15:54:29 +0200] rev 11466
1 -> 1'
Mon, 06 Aug 2001 15:46:20 +0200 Changed 1 to 1' (= Suc 0)
paulson [Mon, 06 Aug 2001 15:46:20 +0200] rev 11465
Changed 1 to 1' (= Suc 0)
Mon, 06 Aug 2001 13:43:24 +0200 turned translation for 1::nat into def.
nipkow [Mon, 06 Aug 2001 13:43:24 +0200] rev 11464
turned translation for 1::nat into def. introduced 1' and replaced most occurrences of 1 by 1'.
Mon, 06 Aug 2001 13:12:06 +0200 three new theorems
paulson [Mon, 06 Aug 2001 13:12:06 +0200] rev 11463
three new theorems
Mon, 06 Aug 2001 12:46:21 +0200 removed the warning from [iff]
paulson [Mon, 06 Aug 2001 12:46:21 +0200] rev 11462
removed the warning from [iff]
Mon, 06 Aug 2001 12:42:43 +0200 removed an unsuitable default simprule
paulson [Mon, 06 Aug 2001 12:42:43 +0200] rev 11461
removed an unsuitable default simprule
Mon, 06 Aug 2001 12:41:21 +0200 tidying and moving the theorem "choice"
paulson [Mon, 06 Aug 2001 12:41:21 +0200] rev 11460
tidying and moving the theorem "choice"
Mon, 06 Aug 2001 12:40:39 +0200 new result comp_surj
paulson [Mon, 06 Aug 2001 12:40:39 +0200] rev 11459
new result comp_surj
Fri, 03 Aug 2001 18:04:55 +0200 numerous stylistic changes and indexing
paulson [Fri, 03 Aug 2001 18:04:55 +0200] rev 11458
numerous stylistic changes and indexing
Thu, 26 Jul 2001 18:23:38 +0200 additional revisions to chapters 1, 2
paulson [Thu, 26 Jul 2001 18:23:38 +0200] rev 11457
additional revisions to chapters 1, 2
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip