
2001-12-07 paulson 2001-12-07 Slightly generalized the agents' knowledge theorems
2001-04-27 paulson 2001-04-27 better treatment of methods: uses Method.ctxt_args to refer to current simpset and claset. Needed to fix problems with Recur.thy
2001-03-29 paulson 2001-03-29 misc tidying; changing the predicate isSymKey to the set symKeys
2001-02-13 paulson 2001-02-13 partial conversion to Isar script style simplified unicity proofs
2001-01-09 nipkow 2001-01-09 `` -> ` and ``` -> ``
1998-07-24 berghofe 1998-07-24 Adapted to new datatype package.
1997-07-11 paulson 1997-07-11 Moving common declarations and proofs from theories "Shared" and "Public" to "Event". NB the original "Event" theory was later renamed "Shared". Addition of the Notes constructor to datatype "event".
1997-07-01 paulson 1997-07-01 Deleted the obsolete operators newK, newN and nPair
1997-06-05 nipkow 1997-06-05 Modified a few defs and proofs because of the changes to theory Finite.thy.