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