src/HOL/SizeChange/Examples.thy
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-05-07 berghofe 2008-05-07 Temporarily disabled invocations of new code generator that do no longer work due to the encoding of sets as predicates
2007-11-06 krauss 2007-11-06 moved stuff about size change termination to its own session