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