| Tue, 11 May 2004 20:11:08 +0200 | changes made due to new Ring_and_Field theory | file | diff | annotate |
| Mon, 26 Jan 2004 10:34:02 +0100 | * Support for raw latex output in control symbols: \<^raw...> | file | diff | annotate |
| Wed, 16 Jul 2003 12:09:41 +0200 | tidying | file | diff | annotate |
| Fri, 31 Jan 2003 20:12:44 +0100 | conversion to new-style theories and tidying | file | diff | annotate |
| Fri, 24 Jan 2003 18:13:59 +0100 | More conversion of UNITY to Isar new-style theories | file | diff | annotate |
| Mon, 05 Mar 2001 15:32:54 +0100 | reorganization of HOL/UNITY, moving examples to subdirectories Simple and Comp | file | diff | annotate |