isabelle: Changelog

oheimb [Tue, 07 Aug 2001 17:21:58 +0200] rev 11469

removed the warning from [iff]

paulson [Tue, 07 Aug 2001 16:36:52 +0200] rev 11468

Tweaks for 1 -> 1'

paulson [Mon, 06 Aug 2001 16:43:40 +0200] rev 11467

Converted 1 to 1'

nipkow [Mon, 06 Aug 2001 15:54:29 +0200] rev 11466

1 -> 1'

paulson [Mon, 06 Aug 2001 15:46:20 +0200] rev 11465

Changed 1 to 1' (= Suc 0)

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'.

paulson [Mon, 06 Aug 2001 13:12:06 +0200] rev 11463

three new theorems

paulson [Mon, 06 Aug 2001 12:46:21 +0200] rev 11462

removed the warning from [iff]

paulson [Mon, 06 Aug 2001 12:42:43 +0200] rev 11461

removed an unsuitable default simprule

paulson [Mon, 06 Aug 2001 12:41:21 +0200] rev 11460

tidying and moving the theorem "choice"

isabelle