src/HOL/Predicate_Compile_Examples/Reg_Exp_Example.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-30 bulwahn 2010-09-30 adapting manual configuration in examples
2010-09-27 bulwahn 2010-09-27 adopting example
2010-09-16 bulwahn 2010-09-16 adapting examples
2010-09-07 bulwahn 2010-09-07 lower expectation in Reg exp example
2010-09-07 bulwahn 2010-09-07 adapting example files
2010-09-07 bulwahn 2010-09-07 adding the Reg_Exp example