src/HOL/SizeChange/Graphs.thy
Fri, 24 Oct 2008 17:48:37 +0200 haftmann new classes "top" and "bot"
Fri, 10 Oct 2008 06:45:53 +0200 haftmann `code func` now just `code`
Fri, 25 Jul 2008 12:03:34 +0200 haftmann added class preorder
Wed, 02 Jan 2008 15:14:17 +0100 haftmann removed some legacy instantiations
Thu, 29 Nov 2007 17:08:26 +0100 haftmann instance command as rudimentary class target
Tue, 06 Nov 2007 17:44:53 +0100 krauss moved stuff about size change termination to its own session
less more (0) tip