src/HOL/Library/Pretty_Int.thy
Fri, 24 Aug 2007 14:14:20 +0200 haftmann overloaded definitions accompanied by explicit constants
Fri, 10 Aug 2007 17:04:34 +0200 haftmann new structure for code generator modules
Thu, 19 Jul 2007 21:47:46 +0200 haftmann support for SML builtin ints
Sun, 13 May 2007 18:15:24 +0200 haftmann fixed omission
Thu, 26 Apr 2007 13:33:09 +0200 haftmann slightly tuned
Mon, 23 Apr 2007 16:38:40 +0200 haftmann initial commit
less more (0) tip