src/HOL/Tools/Predicate_Compile/code_prolog.ML
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
Thu, 29 Jul 2010 17:27:57 +0200 bulwahn working on parser for prolog reponse
Thu, 29 Jul 2010 17:27:56 +0200 bulwahn querying for multiple solutions in values command for prolog execution
Thu, 29 Jul 2010 17:27:55 +0200 bulwahn correcting scanning
Thu, 29 Jul 2010 17:27:55 +0200 bulwahn adding values command and parsing prolog output
Thu, 29 Jul 2010 17:27:52 +0200 bulwahn adding a mockup version for prolog code generation
less more (0) tip