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