src/HOL/Predicate_Compile_Examples/Context_Free_Grammar_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
2013-08-13 wenzelm 2013-08-13 standardized symbols via "isabelle update_sub_sup", excluding src/Pure and src/Tools/WWW_Find;
2013-07-15 wenzelm 2013-07-15 tuned line length;
2011-12-24 haftmann 2011-12-24 adjusted to set/pred distinction by means of type constructor `set`
2011-07-20 bulwahn 2011-07-20 adapting example in Predicate_Compile_Examples
2011-03-13 wenzelm 2011-03-13 modernized imports (untested!?);
2010-12-03 bulwahn 2010-12-03 adapting predicate_compile_quickcheck
2010-11-02 wenzelm 2010-11-02 simplified some time constants;
2010-09-30 bulwahn 2010-09-30 adapting manual configuration in examples
2010-09-16 bulwahn 2010-09-16 adapting examples
2010-09-07 bulwahn 2010-09-07 adapting example files
2010-08-31 bulwahn 2010-08-31 adding further example for quickcheck with prolog code generation