src/HOL/Tools/Predicate_Compile/code_prolog.ML
Thu, 29 Jul 2010 17:27:52 +0200 bulwahn adding a mockup version for prolog code generation
less more (0) tip