src/HOL/Tools/Predicate_Compile/code_prolog.ML
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) -10 -1 tip