src/Pure/term_sharing.ML
2014-03-10 wenzelm 2014-03-10 abstract type Name_Space.table; clarified pretty_locale_deps: sort strings; clarified Proof_Context.update_cases: Name_Space.del_table hides name space entry as well;
2011-11-20 wenzelm 2011-11-20 clarified certify vs. sharing;
2011-07-23 wenzelm 2011-07-23 defensive Term_Sharing, to avoid extending trusted code base of inference kernel;
2011-07-13 wenzelm 2011-07-13 added term_sharing.ML;