src/HOL/Library/sct.ML
2007-05-22 krauss 2007-05-22 some optimizations, cleanup
2007-05-17 haftmann 2007-05-17 canonical prefixing of class constants
2007-04-14 wenzelm 2007-04-14 cleaned/simplified Sign.read_typ, Thm.read_cterm etc.;
2007-04-03 wenzelm 2007-04-03 removed assert/deny (avoid clash with Alice keywords and confusion due to strict evaluation);
2007-02-28 krauss 2007-02-28 more cleanup