src/HOL/Predicate_Compile_Examples/Hotel_Example.thy
Tue, 31 Aug 2010 08:00:55 +0200 bulwahn added further hotel key card attack in example file
Tue, 31 Aug 2010 08:00:53 +0200 bulwahn storing options for prolog code generation in the theory
Tue, 31 Aug 2010 08:00:52 +0200 bulwahn adapting example files to latest changes
less more (0) -3 tip