src/HOL/Tools/Predicate_Compile/code_prolog.ML
Sun, 01 Aug 2010 10:15:43 +0200 bulwahn adding basic arithmetic support for prolog code generation
Sun, 01 Aug 2010 10:15:43 +0200 bulwahn adding numbers as basic term in prolog code generation
Thu, 29 Jul 2010 18:16:35 +0200 bulwahn adapting output for first solution
Thu, 29 Jul 2010 17:27:59 +0200 bulwahn removing pointless type information in internal prolog terms
Thu, 29 Jul 2010 17:27:58 +0200 bulwahn cleaning example file; more natural ordering of variable names
Thu, 29 Jul 2010 17:27:57 +0200 bulwahn improving translation to prolog; restoring terms from prolog output; adding tracing support
less more (0) -6 tip