src/HOL/SET_Protocol/ROOT.ML
2010-12-29 wenzelm 2010-12-29 explicit file specifications -- avoid secondary load path;
2010-09-28 haftmann 2010-09-28 modernized session
2010-03-10 huffman 2010-03-10 switch from Nat_Int_Bij to Nat_Bijection
2009-11-11 wenzelm 2009-11-11 uniform use of simultabeous use_thys;
2009-10-20 wenzelm 2009-10-20 modernized session SET_Protocol;