src/HOL/Predicate_Compile_Examples/IMP_1.thy
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