src/HOL/Library/Code_Test.thy
21 months ago wenzelm 2018-01-16 standardized towards new-style formal comments: isabelle update_comments;
2016-12-17 wenzelm 2016-12-17 tuned;
2016-08-12 wenzelm 2016-08-12 more symbols;
2016-03-12 haftmann 2016-03-12 model characters directly as range 0..255 * * * operate on syntax terms rather than asts
2015-11-05 wenzelm 2015-11-05 isabelle update_cartouches -c -t;
2015-06-17 wenzelm 2015-06-17 isabelle update_cartouches;
2015-03-31 wenzelm 2015-03-31 clarified role of naming for background theory: transform_binding (e.g. for "concealed" flag) uses naming of hypothetical context;
2015-03-16 wenzelm 2015-03-16 proper headers;
2014-10-20 wenzelm 2014-10-20 back to formal comment (see 23a380cc45f4, 3094b0edd6b5);
2014-10-09 hoelzl 2014-10-09 fix document generation in Code_Test
2014-10-08 Andreas Lochbihler 2014-10-08 move Code_Test to HOL/Library; add corresponding entries in NEWS and CONTRIBUTORS