src/HOL/Library/Pretty_Int.thy
2007-08-24 haftmann 2007-08-24 overloaded definitions accompanied by explicit constants
2007-08-10 haftmann 2007-08-10 new structure for code generator modules
2007-07-19 haftmann 2007-07-19 support for SML builtin ints
2007-05-13 haftmann 2007-05-13 fixed omission
2007-04-26 haftmann 2007-04-26 slightly tuned
2007-04-23 haftmann 2007-04-23 initial commit