src/Pure/Tools/named_thms.ML
2008-03-20 ago export add/del_thm;
2007-10-06 ago simplified interfaces for outer syntax;
2007-08-01 ago added toplevel print command;
2007-07-29 ago Named collections of theorems in canonical order.