src/HOL/Predicate_Compile_Examples/IMP_3.thy
23 months ago wenzelm 2017-08-18 session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
2016-05-26 wenzelm 2016-05-26 isabelle update_cartouches -c -t;
2014-09-11 blanchet 2014-09-11 updated news
2014-09-09 blanchet 2014-09-09 use 'datatype_new' (soon to be renamed 'datatype') in Isabelle's libraries
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-03-18 bulwahn 2011-03-18 adapting predicate_compile_quickcheck; tuned
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-09 bulwahn 2010-09-09 increasing the number of iterations to ensure to find a counterexample by random generation
2010-09-07 bulwahn 2010-09-07 adding IMP quickcheck examples