src/HOL/SizeChange/Implementation.thy
2008-10-10 haftmann 2008-10-10 `code func` now just `code`
2008-07-02 haftmann 2008-07-02 code antiquotation roaring ahead
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