src/HOL/Predicate_Compile_Examples/Lambda_Example.thy
2013-07-15 wenzelm 2013-07-15 tuned line length;
2011-07-21 bulwahn 2011-07-21 adapting two examples 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-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 adapting and tuning example theories
2010-08-31 bulwahn 2010-08-31 improving clash-free naming of variables and preds in code_prolog
2010-08-31 bulwahn 2010-08-31 storing options for prolog code generation in the theory
2010-08-31 bulwahn 2010-08-31 adding Lambda example theory; tuned