src/HOL/SizeChange/Correctness.thy
2008-09-04 huffman 2008-09-04 rename INF_drop_prefix to INFM_drop_prefix
2008-07-01 huffman 2008-07-01 remove simp attribute from range_composition
2008-07-01 huffman 2008-07-01 rename INF to INFM
2008-04-02 haftmann 2008-04-02 explicit class "eq" for operational equality
2007-11-06 krauss 2007-11-06 moved stuff about size change termination to its own session