src/HOL/Library/Debug.thy
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