Tue, 08 May 2001 16:01:28 +0200 | paulson | new takeWhile lemma | changeset | files |
Tue, 08 May 2001 15:57:13 +0200 | paulson | fixed a slow proof; tidied | changeset | files |
Tue, 08 May 2001 15:56:57 +0200 | paulson | conversion of Auth/TLS to Isar script | changeset | files |