src/HOL/Predicate_Compile_Examples/Predicate_Compile_Tests.thy
Wed, 29 Sep 2010 10:33:15 +0200 bulwahn added a test case to Predicate_Compile_Tests
Tue, 28 Sep 2010 11:59:53 +0200 bulwahn adding test case for interpretation of arguments that are predicates simply as input
less more (0) -2 tip