| Fri, 21 Nov 2003 11:15:40 +0100 | paulson | HOL: installation of Ring_and_Field as the basis for Naturals and Reals | file | diff | annotate |
| 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 |