src/HOL/Predicate_Compile_Examples/IMP_4.thy
2011-11-11 bulwahn 2011-11-11 renaming example invocations: tester predicate_compile is renamed to smart_exhaustive
2011-07-06 bulwahn 2011-07-06 tuning options to avoid spurious isabelle test failures
2011-04-23 wenzelm 2011-04-23 modernized specifications;
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-09-07 bulwahn 2010-09-07 adding IMP quickcheck examples