src/HOL/Predicate_Compile_Examples/Hotel_Example_Small_Generator.thy
2012-08-22 wenzelm 2012-08-22 prefer ML_file over old uses;
2011-07-18 bulwahn 2011-07-18 adapting an experimental setup to changes in quickcheck's infrastructure
2011-04-18 krauss 2011-04-18 raised timeouts further, for SML/NJ!
2011-04-07 krauss 2011-04-07 raised timeout further, for SML/NJ
2011-03-28 krauss 2011-03-28 raised various timeouts to accommodate sluggish SML/NJ
2010-12-29 wenzelm 2010-12-29 explicit file specifications -- avoid secondary load path;
2010-12-17 bulwahn 2010-12-17 adding exhaustive tester instances for numeric types: code_numeral, nat, rat and real
2010-12-03 bulwahn 2010-12-03 adapting predicate_compile_quickcheck
2010-11-22 haftmann 2010-11-22 generous timeout gives more breath in parallel run on less luxury machines
2010-11-22 bulwahn 2010-11-22 adapting example in Predicate_Compile_Examples
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