src/HOL/SizeChange/sct.ML
2008-09-22 haftmann 2008-09-22 fixed headers
2008-05-18 wenzelm 2008-05-18 oops -- pr_graph = Syntax.string_of_term; removed dead pr_matrix;
2008-05-18 wenzelm 2008-05-18 pr_matrix: proper context;
2008-05-12 krauss 2008-05-12 Measure functions can now be declared via special rules, allowing for a prolog-style generation of measure functions for a specific type.
2008-03-01 wenzelm 2008-03-01 use more antiquotations;
2007-11-06 krauss 2007-11-06 moved stuff about size change termination to its own session