src/HOL/Predicate_Compile_Examples/Hotel_Example.thy
Tue, 31 Aug 2010 08:00:52 +0200 bulwahn adapting example files to latest changes
less more (0) -1 tip