src/HOL/SizeChange/Implementation.thy
Fri, 10 Oct 2008 06:45:53 +0200 haftmann `code func` now just `code`
Wed, 02 Jul 2008 07:12:17 +0200 haftmann code antiquotation roaring ahead
Wed, 07 May 2008 10:59:37 +0200 berghofe Temporarily disabled invocations of new code generator that do no
Tue, 06 Nov 2007 17:44:53 +0100 krauss moved stuff about size change termination to its own session
less more (0) tip