src/HOL/Predicate_Compile_Examples/Code_Prolog_Examples.thy
Wed, 25 Aug 2010 16:59:55 +0200 bulwahn renaming variables to conform to prolog names
Wed, 25 Aug 2010 16:59:50 +0200 bulwahn invocation of values for prolog execution does not require invocation of code_pred anymore
less more (0) -2 tip