isabelle: File revisions

src/HOL/Predicate_Compile_Examples/Hotel_Example.thy

Tue, 31 Aug 2010 15:21:56 +0200	bulwahn	adapting and tuning example theories	file \| diff \| annotate
Tue, 31 Aug 2010 08:00:56 +0200	bulwahn	changing order of premises generated when flattening functions in premises; adapting example for second attack for hotel key card system	file \| diff \| annotate
Tue, 31 Aug 2010 08:00:55 +0200	bulwahn	added further hotel key card attack in example file	file \| diff \| annotate
Tue, 31 Aug 2010 08:00:53 +0200	bulwahn	storing options for prolog code generation in the theory	file \| diff \| annotate
Tue, 31 Aug 2010 08:00:52 +0200	bulwahn	adapting example files to latest changes	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: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:49 +0200	bulwahn	adding hotel keycard example for prolog generation	file \| diff \| annotate

isabelle