| Thu, 20 Nov 2003 10:41:39 +0100 | paulson | including 0 ~= 1 in definition of Field | file | diff | annotate |
| Sun, 13 Jan 2002 21:14:31 +0100 | wenzelm | tuned; | file | diff | annotate |
| Sun, 13 Jan 2002 19:42:30 +0100 | wenzelm | Real/Complex_Numbers.thy; | file | diff | annotate |