src/HOL/SET-Protocol/Purchase.thy
2007-07-11 berghofe 2007-07-11 Adapted to new inductive definition package.
2005-06-20 paulson 2005-06-20 fixed a faulty proof
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2005-02-01 paulson 2005-02-01 the new subst tactic, by Lucas Dixon
2004-09-29 paulson 2004-09-29 tidying up; identifying the main theorems
2004-09-23 paulson 2004-09-23 some x-symbols
2003-11-12 paulson 2003-11-12 tidied
2003-09-26 paulson 2003-09-26 Tidying of SET's "possibility theorems" (removal of Key_supply_ax)
2003-09-23 paulson 2003-09-23 new session HOL-SET-Protocol