isabelle: File revisions

src/HOL/Tools/Predicate_Compile/code_prolog.ML

Thu, 26 Aug 2010 12:06:00 +0200	wenzelm	standardized Context.copy_thy to Theory.copy alias, with slightly more direct way of using it;	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: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

isabelle