src/HOL/Predicate_Compile_Examples/Hotel_Example_Prolog.thy
Tue, 13 Mar 2012 16:56:56 +0100 wenzelm prefer abs_def over def_raw;
Sat, 24 Dec 2011 15:53:10 +0100 haftmann adjusted to set/pred distinction by means of type constructor `set`
Mon, 18 Jul 2011 10:34:21 +0200 bulwahn adapting prolog-based tester
less more (0) -3 tip