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