src/Pure/term_sharing.ML
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;