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
less more (0) -2 tip