isabelle: File revisions

src/HOL/Predicate_Compile_Examples/Code_Prolog_Examples.thy

Fri, 27 Aug 2010 09:34:06 +0200	bulwahn	added support for yet another prolog system (yap); generate has only one option ensure_groundness; added one example of yap invocation in example theory	file \| diff \| annotate
Thu, 26 Aug 2010 14:48:48 +0200	bulwahn	adapted examples; tuned	file \| diff \| annotate
Wed, 25 Aug 2010 16:59:55 +0200	bulwahn	renaming variables to conform to prolog names	file \| diff \| annotate
Wed, 25 Aug 2010 16:59:50 +0200	bulwahn	invocation of values for prolog execution does not require invocation of code_pred anymore	file \| diff \| annotate
Wed, 25 Aug 2010 16:59:48 +0200	bulwahn	improving ensure_groundness in prolog generation; added further example	file \| diff \| annotate
Wed, 25 Aug 2010 16:59:46 +0200	bulwahn	adding very basic transformation to ensure groundness before negations	file \| diff \| annotate
Sun, 01 Aug 2010 10:15:43 +0200	bulwahn	setting up Code_Prolog_Examples	file \| diff \| annotate
Sun, 01 Aug 2010 10:15:43 +0200	bulwahn	adding queens and symbolic derivation example for prolog code generation	file \| diff \| annotate

isabelle