| Fri, 02 Mar 2001 13:18:31 +0100 | paulson | conversion of Message.thy to Isar format | file | diff | annotate |
| Fri, 16 Feb 2001 13:25:08 +0100 | paulson | Streamlining for the bug fix in Blast. | file | diff | annotate |
| Tue, 13 Feb 2001 16:02:53 +0100 | paulson | partial conversion to Isar script style in HOL/Auth removes some .ML files | file | diff | annotate |