src/HOL/Predicate_Compile_Examples/Reg_Exp_Example.thy
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
2014-05-09 haftmann 2014-05-09 hardcoded nbe and sml into value command
2013-12-09 wenzelm 2013-12-09 more antiquotations;
2013-07-15 wenzelm 2013-07-15 tuned line length;
2011-11-11 bulwahn 2011-11-11 renaming example invocations: tester predicate_compile is renamed to smart_exhaustive
2011-07-26 bulwahn 2011-07-26 removing expectations from quickcheck example
2011-07-23 bulwahn 2011-07-23 correcting last example in Predicate_Compile_Examples
2011-03-13 wenzelm 2011-03-13 modernized imports (untested!?);
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