src/Pure/Tools/named_thms.ML
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.