src/HOL/ex/Efficient_Nat_examples.thy
Wed, 19 Oct 2011 08:37:15 +0200 bulwahn removing invocations of the evaluation method based on the old code generator
Wed, 29 Dec 2010 17:34:41 +0100 wenzelm explicit file specifications -- avoid secondary load path;
Mon, 16 Feb 2009 19:11:16 +0100 haftmann clarified import
less more (0) -3 tip