src/HOL/SET-Protocol/Merchant_Registration.thy
2007-07-11 berghofe 2007-07-11 Adapted to new inductive definition package.
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2003-10-02 paulson 2003-10-02 removal of junk and improvement of the document
2003-09-23 paulson 2003-09-23 new session HOL-SET-Protocol