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 |