src/HOL/SET_Protocol/Purchase.thy
Sun, 15 May 2011 17:45:53 +0200 wenzelm simplified/unified method_setup/attribute_setup;
Wed, 10 Mar 2010 15:38:33 -0800 huffman convert SET_Protocol to use Nat_Bijection library
Tue, 20 Oct 2009 20:03:23 +0200 wenzelm modernized session SET_Protocol;
less more (0) tip