src/HOL/Predicate_Compile_Examples/Hotel_Example_Prolog.thy
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) -2 tip