src/HOL/Library/Debug.thy
2015-11-05 wenzelm 2015-11-05 isabelle update_cartouches -c -t;
2015-09-04 wenzelm 2015-09-04 modernized name space management -- more uniform qualification;
2015-06-17 wenzelm 2015-06-17 isabelle update_cartouches;
2014-11-02 wenzelm 2014-11-02 modernized header;
2013-06-23 haftmann 2013-06-23 migration from code_(const|type|class|instance) to code_printing and from code_module to code_identifier
2013-05-11 wenzelm 2013-05-11 avoid PolyML.makestring, even in dead code;
2012-07-22 haftmann 2012-07-22 library theories for debugging and parallel computing using code generation towards Isabelle/ML