src/HOL/Predicate_Compile_Examples/Hotel_Example_Prolog.thy
Mon, 18 Jul 2011 10:34:21 +0200 bulwahn adapting prolog-based tester
Sun, 13 Mar 2011 21:21:48 +0100 wenzelm modernized imports (untested!?);
Wed, 29 Dec 2010 17:34:41 +0100 wenzelm explicit file specifications -- avoid secondary load path;
Fri, 03 Dec 2010 08:40:47 +0100 bulwahn adapting predicate_compile_quickcheck
less more (0) -4 tip