Fri, 21 Nov 2003 11:15:40 +0100 | HOL: installation of Ring_and_Field as the basis for Naturals and Reals | file | diff | annotate |
Thu, 20 Nov 2003 10:41:39 +0100 | including 0 ~= 1 in definition of Field | file | diff | annotate |
Sun, 13 Jan 2002 21:14:31 +0100 | tuned; | file | diff | annotate |
Sun, 13 Jan 2002 19:42:30 +0100 | Real/Complex_Numbers.thy; | file | diff | annotate |