| Fri, 27 Apr 2001 17:16:21 +0200 | paulson | better treatment of methods: uses Method.ctxt_args to refer to current | file | diff | annotate |
| Tue, 24 Apr 2001 12:19:01 +0200 | paulson | (rough) conversion of Auth/Recur to Isar format | file | diff | annotate |
| Thu, 12 Apr 2001 12:45:05 +0200 | paulson | converted many HOL/Auth theories to Isar scripts | file | diff | annotate |
| Thu, 29 Mar 2001 10:44:37 +0200 | paulson | misc tidying; changing the predicate isSymKey to the set symKeys | file | diff | annotate |
| Thu, 22 Mar 2001 10:27:00 +0100 | paulson | some X-symbols | file | diff | annotate |
| Fri, 02 Mar 2001 13:18:31 +0100 | paulson | conversion of Message.thy to Isar format | file | diff | annotate |