src/Doc/Codegen/Evaluation.thy
23 months ago wenzelm 2017-08-18 session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
2017-02-22 haftmann 2017-02-22 basic documentation for computations
2016-08-12 wenzelm 2016-08-12 tuned;
2016-05-29 haftmann 2016-05-29 explicit check that abstract constructors cannot be part of official interface
2016-05-26 haftmann 2016-05-26 delegate inclusion of required dictionaries to user-space instead of half-working magic
2015-10-06 wenzelm 2015-10-06 fewer aliases for toplevel theorem statements;
2015-07-18 wenzelm 2015-07-18 prefer tactics with explicit context;
2015-01-15 haftmann 2015-01-15 separate image for prerequisites of codegen tutorial
2015-01-15 haftmann 2015-01-15 modernized cartouches
2015-01-10 haftmann 2015-01-10 typo
2015-01-10 haftmann 2015-01-10 avoid writing into source
2014-10-07 wenzelm 2014-10-07 more antiquotations;
2014-09-11 blanchet 2014-09-11 updated news
2014-09-11 blanchet 2014-09-11 renamed 'datatype' to 'old_datatype'; 'datatype' is now alias for 'datatype_new'
2014-08-31 haftmann 2014-08-31 restored generic value slot, retaining default behaviour and separate approximate command
2014-05-09 haftmann 2014-05-09 hardcoded nbe and sml into value command
2014-02-12 blanchet 2014-02-12 adapted to renaming of 'Projl' and 'Projr'
2013-06-02 haftmann 2013-06-02 some meagure hints concerning reification
2013-04-18 haftmann 2013-04-18 spelling
2012-08-28 wenzelm 2012-08-28 renamed doc-src to src/Doc; renamed TutorialI to Tutorial;