Mon, 08 Jan 2001 11:06:24 +0100 | paulson | additional pattern allows reduction of fractions to lowest terms | file | diff | annotate |
Fri, 05 Jan 2001 10:17:48 +0100 | paulson | more removal of obsolete rules | file | diff | annotate |
Sat, 30 Dec 2000 22:03:47 +0100 | paulson | separation of HOL-Hyperreal from HOL-Real | file | diff | annotate |