src/Doc/Codegen/Refinement.thy
23 months ago wenzelm 2017-08-18 session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
23 months ago haftmann 2017-08-12 be more explicit on type dlist
2015-01-15 haftmann 2015-01-15 modernized cartouches
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-02-12 blanchet 2014-02-12 compile
2013-08-21 haftmann 2013-08-21 reference to datatype refinment paper
2013-08-13 wenzelm 2013-08-13 standardized symbols via "isabelle update_sub_sup", excluding src/Pure and src/Tools/WWW_Find;
2013-07-13 haftmann 2013-07-13 attribute "code" declares concrete and abstract code equations uniformly; added explicit "code equation" instead
2012-08-28 wenzelm 2012-08-28 renamed doc-src to src/Doc; renamed TutorialI to Tutorial;