src/HOL/SizeChange/Implementation.thy
Tue, 06 Nov 2007 17:44:53 +0100 krauss moved stuff about size change termination to its own session
less more (0) tip