Fri, 02 Mar 2001 13:18:31 +0100 | paulson | conversion of Message.thy to Isar format | changeset | files |
Fri, 02 Mar 2001 13:14:37 +0100 | paulson | streamlined a proof | changeset | files |
Wed, 28 Feb 2001 12:37:48 +0100 | paulson | auto-update | changeset | files |