src/HOL/Predicate_Compile_Examples/Hotel_Example.thy
2010-08-31 bulwahn 2010-08-31 added further hotel key card attack in example file
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-25 bulwahn 2010-08-25 changing hotel trace definition; adding simple handling of numerals on natural numbers
2010-08-25 bulwahn 2010-08-25 added quickcheck generator for prolog generation; first example of counterexample search with prolog for hotel key card system
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 adding hotel keycard example for prolog generation