src/HOL/ex/InductiveInvariant_examples.thy
Fri, 12 May 2006 11:19:41 +0200 nipkow added lemma in_measure
Wed, 14 Sep 2005 22:08:08 +0200 wenzelm tuned headers etc.;
less more (0) -2 tip