isabelle: File revisions

src/HOL/Tools/Predicate_Compile/code_prolog.ML

Mon, 20 Sep 2010 09:26:16 +0200	bulwahn	moving renaming_vars to post_processing; removing clone in values and quickcheck of code_prolog	file \| diff \| annotate
Mon, 20 Sep 2010 09:26:15 +0200	bulwahn	removing clone in code_prolog and predicate_compile_quickcheck	file \| diff \| annotate
Thu, 16 Sep 2010 13:49:11 +0200	bulwahn	adding restoring of numerals for natural numbers for values command	file \| diff \| annotate
Thu, 16 Sep 2010 13:49:10 +0200	bulwahn	values command for prolog supports complex terms and not just variables	file \| diff \| annotate
Thu, 16 Sep 2010 13:49:06 +0200	bulwahn	registering code_prolog as component; using environment variable; adding settings file for prolog code generation	file \| diff \| annotate
Thu, 16 Sep 2010 13:49:04 +0200	bulwahn	adding mode inference to prolog compilation; separate between (ad-hoc) code modifications and system_configuration; adapting quickcheck	file \| diff \| annotate
Wed, 15 Sep 2010 09:36:39 +0200	bulwahn	adding option show_invalid_clauses for a more detailed message when modes are not inferred	file \| diff \| annotate

isabelle