src/HOL/SizeChange/Criterion.thy
2008-04-02 haftmann 2008-04-02 explicit class "eq" for operational equality
2008-03-27 haftmann 2008-03-27 no "attach UNIV" any more
2008-01-02 haftmann 2008-01-02 removed some legacy instantiations
2007-11-06 krauss 2007-11-06 moved stuff about size change termination to its own session