2012-01-14 ago renamed Term.list_all to Logic.list_all, in accordance to HOLogic.list_all;
2012-01-14 ago tuned;
2011-08-17 ago modernized signature of Term.absfree/absdummy;
2011-04-08 ago explicit structure Syntax_Trans;
2010-03-27 ago moved Primitive_Defs.mk_defpair to OldGoals.mk_defpair;
2009-11-02 ago modernized structure Primitive_Defs;
2009-03-08 ago moved basic algebra of long names from structure NameSpace to Long_Name;
2009-03-05 ago renamed NameSpace.base to NameSpace.base_name;
2009-01-21 ago dropped ID
2007-10-11 ago dest/cert_def: replaced Pretty.pp by explicit Proof.context;
2007-08-14 ago Primitive definition forms.