src/HOL/Tools/Predicate_Compile/code_prolog.ML
Thu, 16 Sep 2010 13:49:11 +0200 bulwahn adding restoring of numerals for natural numbers for values command
Thu, 16 Sep 2010 13:49:10 +0200 bulwahn values command for prolog supports complex terms and not just variables
Thu, 16 Sep 2010 13:49:06 +0200 bulwahn registering code_prolog as component; using environment variable; adding settings file for prolog code generation
less more (0) -30 -10 -3 tip