src/HOL/Predicate_Compile_Examples/Hotel_Example.thy
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
Tue, 31 Aug 2010 08:00:55 +0200 bulwahn added further hotel key card attack in example file
less more (0) -2 tip