| Sun, 19 Nov 2006 23:48:55 +0100 | wenzelm | HOL-Algebra: converted legacy ML scripts; | file | diff | annotate |
| Sat, 17 Sep 2005 20:49:14 +0200 | wenzelm | converted to Isar theory format; | file | diff | annotate |
| Wed, 30 Apr 2003 10:01:35 +0200 | ballarin | Greatly extended CRing. Added Module. | file | diff | annotate |