src/HOL/SET_Protocol/Merchant_Registration.thy
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2009-10-20 wenzelm 2009-10-20 modernized session SET_Protocol;