src/HOL/Predicate_Compile_Examples/Code_Prolog_Examples.thy
2010-10-29 nipkow 2010-10-29 hide Sum_Type.Plus
2010-09-30 bulwahn 2010-09-30 adapting manual configuration in examples
2010-09-16 bulwahn 2010-09-16 adding values to show and ensure that values works with complex terms and restores numerals on natural numbers
2010-09-16 bulwahn 2010-09-16 adapting examples
2010-09-07 bulwahn 2010-09-07 adapting example files
2010-08-31 bulwahn 2010-08-31 adapting and tuning example theories
2010-08-31 bulwahn 2010-08-31 storing options for prolog code generation in the theory
2010-08-31 bulwahn 2010-08-31 adapting example files to latest changes
2010-08-27 bulwahn 2010-08-27 added support for yet another prolog system (yap); generate has only one option ensure_groundness; added one example of yap invocation in example theory
2010-08-26 bulwahn 2010-08-26 adapted examples; tuned
2010-08-25 bulwahn 2010-08-25 renaming variables to conform to prolog names
2010-08-25 bulwahn 2010-08-25 invocation of values for prolog execution does not require invocation of code_pred anymore
2010-08-25 bulwahn 2010-08-25 improving ensure_groundness in prolog generation; added further example
2010-08-25 bulwahn 2010-08-25 adding very basic transformation to ensure groundness before negations
2010-08-01 bulwahn 2010-08-01 setting up Code_Prolog_Examples
2010-08-01 bulwahn 2010-08-01 adding queens and symbolic derivation example for prolog code generation
2010-07-29 bulwahn 2010-07-29 cleaning example file; more natural ordering of variable names
2010-07-29 bulwahn 2010-07-29 adding values command and parsing prolog output
2010-07-29 bulwahn 2010-07-29 adding example file for prolog code generation; adding prolog code generation example to IsaMakefile