Tue, 23 Oct 2001 22:58:15 +0200 | wenzelm | eliminated old numerals; | file | diff | annotate |
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 |
Sat, 20 Jan 2001 00:32:56 +0100 | wenzelm | added Library/Ring_and_Field_Example.thy; | file | diff | annotate |