src/HOL/Nominal/nominal_datatype.ML
2009-07-24 wenzelm 2009-07-24 renamed functor ProjectRuleFun to Project_Rule; renamed structure ProjectRule to Project_Rule;
2009-07-23 wenzelm 2009-07-23 renamed simpset_of to global_simpset_of, and local_simpset_of to simpset_of -- same for claset and clasimpset;
2009-07-22 haftmann 2009-07-22 set intersection and union now named inter and union
2009-07-22 haftmann 2009-07-22 explicit antiquotation
2009-07-21 haftmann 2009-07-21 dropped ancient flat_names option
2009-07-15 wenzelm 2009-07-15 more antiquotations;
2009-07-03 haftmann 2009-07-03 nominal.ML is nominal_datatype.ML