src/HOL/Tools/Function/mutual.ML
2010-01-02 krauss 2010-01-02 new year's resolution: reindented code in function package
2009-11-23 krauss 2009-11-23 eliminated dead code and some unused bindings, reported by polyml
2009-11-19 wenzelm 2009-11-19 adapted Local_Theory.define -- eliminated odd thm kind;
2009-11-13 wenzelm 2009-11-13 modernized structure Local_Theory;
2009-11-12 wenzelm 2009-11-12 eliminated obsolete "internal" kind -- collapsed to unspecific "";
2009-11-02 krauss 2009-11-02 do not use Binding.empty: conceal flag gets lost in Thm.def_binding_optional
2009-10-28 wenzelm 2009-10-28 simplified default binding; conceal internal bindings;
2009-10-23 krauss 2009-10-23 function package: more standard names for structures and files
2009-09-29 wenzelm 2009-09-29 modernized Balanced_Tree;
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-17 wenzelm 2009-07-17 compare types directly -- no need to invoke Type.eq_type with empty environment;
2009-06-23 haftmann 2009-06-23 uniformly capitialized names for subdirectories