src/HOL/SizeChange/Graphs.thy
2009-03-05 wenzelm 2009-03-05 fixed proofs -- follow-up to ecd6f0ca62ea;
2008-10-24 haftmann 2008-10-24 new classes "top" and "bot"
2008-10-10 haftmann 2008-10-10 `code func` now just `code`
2008-07-25 haftmann 2008-07-25 added class preorder
2008-01-02 haftmann 2008-01-02 removed some legacy instantiations
2007-11-29 haftmann 2007-11-29 instance command as rudimentary class target
2007-11-06 krauss 2007-11-06 moved stuff about size change termination to its own session