src/HOL/Predicate_Compile_Examples/Predicate_Compile_Tests.thy
Thu, 02 Dec 2010 16:39:07 +0100 haftmann adapted expected value to more idiomatic numeral representation
Mon, 25 Oct 2010 21:17:12 +0200 bulwahn changing test parameters in examples to get to a result within the global timelimit
Fri, 22 Oct 2010 18:38:59 +0200 bulwahn updating to new notation in commented examples
less more (0) -3 tip