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