src/HOL/Predicate_Compile_Examples/Predicate_Compile_Tests.thy
Wed, 29 Dec 2010 17:34:41 +0100 wenzelm explicit file specifications -- avoid secondary load path;
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
Thu, 30 Sep 2010 15:37:12 +0200 bulwahn adding example for case expressions
Wed, 29 Sep 2010 10:33:15 +0200 bulwahn added test case for predicate arguments in higher-order argument position
Wed, 29 Sep 2010 10:33:15 +0200 bulwahn added a test case to Predicate_Compile_Tests
less more (0) -7 tip