src/HOL/Auth/Kerberos_BAN.ML
1999-09-07 wenzelm 1999-09-07 isatool expandshort;
1998-11-27 nipkow 1998-11-27 At last: linear arithmetic for nat!
1998-09-23 paulson 1998-09-23 deleted needless parentheses
1998-09-15 paulson 1998-09-15 From Compl(A) to -A
1998-09-11 paulson 1998-09-11 fixed PROOF FAILED
1998-09-08 paulson 1998-09-08 Got rid of not_Says_to_self and most uses of ~= in definitions and theorems
1998-09-02 paulson 1998-09-02 small simplification to not_Says_to_self
1998-08-21 paulson 1998-08-21 Tidying
1998-08-20 paulson 1998-08-20 tidied
1998-07-31 paulson 1998-07-31 Removal of obsolete "open" commands from heads of .ML files
1998-07-02 paulson 1998-07-02 Deleted leading parameters thanks to new Goal command
1998-06-24 paulson 1998-06-24 Ran isatool fixgoal
1998-06-22 paulson 1998-06-22 simplified and tidied the proofs
1998-06-19 paulson 1998-06-19 New example Kerberos_BAN by G Bella