isabelle: File revisions

src/HOL/Tools/Predicate_Compile/code_prolog.ML

Wed, 25 Aug 2010 16:59:53 +0200	bulwahn	changing hotel trace definition; adding simple handling of numerals on natural numbers	file \| diff \| annotate
Wed, 25 Aug 2010 16:59:51 +0200	bulwahn	added quickcheck generator for prolog generation; first example of counterexample search with prolog for hotel key card system	file \| diff \| annotate
Wed, 25 Aug 2010 16:59:51 +0200	bulwahn	moving preprocessing to values in prolog generation	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 output of set comprehensions; adding style_check flags	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

isabelle