Mon, 05 Mar 2001 12:31:31 +0100 | paulson | a few basic X-symbols | changeset | files |
Fri, 02 Mar 2001 13:26:55 +0100 | paulson | conversion of Message.thy to Isar format | changeset | files |
Fri, 02 Mar 2001 13:18:56 +0100 | ehmety | *** empty log message *** | changeset | files |