Thu, 04 Sep 2003 11:16:19 +0200 | paulson | quantifier symbols | changeset | files |
Thu, 04 Sep 2003 11:15:53 +0200 | paulson | conversion of HOL/Auth/KerberosIV to new-style theory | changeset | files |
Thu, 04 Sep 2003 11:08:24 +0200 | paulson | new, separate specifications | changeset | files |