src/HOL/Predicate_Compile_Examples/Predicate_Compile_Tests.thy
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) -3 tip