src/HOL/SET_Protocol/ROOT.ML
Wed, 10 Mar 2010 15:58:53 -0800 huffman switch from Nat_Int_Bij to Nat_Bijection
Wed, 11 Nov 2009 14:15:11 +0100 wenzelm uniform use of simultabeous use_thys;
Tue, 20 Oct 2009 20:03:23 +0200 wenzelm modernized session SET_Protocol;
less more (0) tip