src/HOL/Auth/KerberosIV.ML
Wed, 14 Mar 2001 08:50:55 +0100 paulson minor tuning
Tue, 27 Feb 2001 16:13:23 +0100 paulson Some X-symbols for <notin>, <noteq>, <forall>, <exists>
Tue, 13 Feb 2001 13:16:27 +0100 paulson partial conversion to Isar script style
Tue, 09 Jan 2001 15:29:17 +0100 nipkow `` -> ` and ``` -> ``
Tue, 30 May 2000 16:08:38 +0200 wenzelm cleaned up;
Wed, 24 May 2000 18:44:19 +0200 paulson rewrote a very long proof (Key_analz_image_Key) because it had stopped working
Wed, 19 Apr 2000 11:09:59 +0200 paulson removal of less_SucI, le_SucI from default simpset
less more (0) -7 tip