src/HOL/SizeChange/Interpretation.thy
2008-07-01 huffman 2008-07-01 rename INF to INFM
2008-04-02 haftmann 2008-04-02 explicit class "eq" for operational equality
2008-01-02 haftmann 2008-01-02 some more primrec
2007-11-06 krauss 2007-11-06 moved stuff about size change termination to its own session