src/HOL/Predicate_Compile_Examples/List_Examples.thy
2013-07-15 wenzelm tuned line length;
2011-11-11 bulwahn renaming example invocations: tester predicate_compile is renamed to smart_exhaustive
2011-07-21 bulwahn adapting two examples in Predicate_Compile_Examples
2011-03-13 wenzelm modernized imports (untested!?);
2010-12-29 wenzelm explicit file specifications -- avoid secondary load path;
2010-12-03 bulwahn adapting predicate_compile_quickcheck
2010-10-25 bulwahn changing test parameters in examples to get to a result within the global timelimit
2010-09-30 bulwahn adapting manual configuration in examples
2010-09-16 bulwahn adapting examples
2010-09-07 bulwahn adapting example files
2010-09-07 bulwahn adding a List example (challenge from Tobias) for counterexample search
less more (0) tip