src/HOL/Predicate_Compile_Examples/Hotel_Example_Prolog.thy
2013-08-13 wenzelm 2013-08-13 standardized symbols via "isabelle update_sub_sup", excluding src/Pure and src/Tools/WWW_Find;
2013-07-15 wenzelm 2013-07-15 tuned line length;
2012-03-13 wenzelm 2012-03-13 prefer abs_def over def_raw;
2011-12-24 haftmann 2011-12-24 adjusted to set/pred distinction by means of type constructor `set`
2011-07-18 bulwahn 2011-07-18 adapting prolog-based tester
2011-03-13 wenzelm 2011-03-13 modernized imports (untested!?);
2010-12-29 wenzelm 2010-12-29 explicit file specifications -- avoid secondary load path;
2010-12-03 bulwahn 2010-12-03 adapting predicate_compile_quickcheck
2010-10-25 bulwahn 2010-10-25 changing test parameters in examples to get to a result within the global timelimit
2010-10-22 bulwahn 2010-10-22 splitting Hotel Key card example into specification and the two tests for counter example generation