| Sat, 26 Apr 2003 12:38:42 +0200 | paulson | converting more HOL-Auth to new-style theories | file | diff | annotate |
| Sat, 17 Aug 2002 14:55:08 +0200 | paulson | tidying of Isar scripts | file | diff | annotate |
| Wed, 03 Oct 2001 20:54:16 +0200 | wenzelm | tuned parentheses in relational expressions; | file | diff | annotate |
| Thu, 12 Apr 2001 12:45:05 +0200 | paulson | converted many HOL/Auth theories to Isar scripts | file | diff | annotate |
| Tue, 27 Feb 2001 16:13:23 +0100 | paulson | Some X-symbols for <notin>, <noteq>, <forall>, <exists> | file | diff | annotate |
| Thu, 18 Mar 1999 10:41:33 +0100 | paulson | added new theory Yahalom_Bad | file | diff | annotate |