| Fri, 17 Nov 2006 02:20:03 +0100 | wenzelm | more robust syntax for definition/abbreviation/notation; | file | diff | annotate |
| Sat, 27 May 2006 17:42:02 +0200 | wenzelm | tuned; | file | diff | annotate |
| Fri, 01 Jul 2005 17:41:10 +0200 | nipkow | prime is a predicate now. | file | diff | annotate |
| Thu, 19 Aug 2004 12:35:45 +0200 | nipkow | new import syntax | file | diff | annotate |
| Wed, 10 Dec 2003 15:59:34 +0100 | paulson | Moving some theorems from Real/RealArith0.ML | file | diff | annotate |
| Wed, 28 May 2003 10:48:20 +0200 | paulson | examples now use Complex_Main | file | diff | annotate |
| Mon, 05 May 2003 18:22:31 +0200 | paulson | new session Complex for the complex numbers | file | diff | annotate |