Fri, 05 Oct 2001 21:52:39 +0200 | wenzelm | sane numerals (stage 1): added generic 1, removed 1' and 2 on nat, | file | diff | annotate |
Wed, 03 Oct 2001 20:54:16 +0200 | wenzelm | tuned parentheses in relational expressions; | file | diff | annotate |
Thu, 31 May 2001 22:34:58 +0200 | wenzelm | tuned | file | diff | annotate |
Thu, 31 May 2001 20:52:51 +0200 | wenzelm | tuned | file | diff | annotate |
Thu, 31 May 2001 17:06:00 +0200 | oheimb | added Library/Nat_Infinity.thy and Library/Continuity.thy | file | diff | annotate |