src/HOL/Predicate_Compile_Examples/Hotel_Example.thy
Tue, 31 Aug 2010 08:00:52 +0200 bulwahn adapting example files to latest changes
Wed, 25 Aug 2010 16:59:53 +0200 bulwahn changing hotel trace definition; adding simple handling of numerals on natural numbers
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
less more (0) -3 tip