| Fri, 25 Jan 2008 14:54:46 +0100 | haftmann | fixed and tuned | file | diff | annotate |
| Mon, 21 Jan 2008 08:43:32 +0100 | haftmann | explicit auxiliary function for code setup | file | diff | annotate |
| Tue, 15 Jan 2008 16:19:23 +0100 | haftmann | joined theories IntDef, Numeral, IntArith to theory Int | file | diff | annotate |
| Tue, 18 Sep 2007 16:08:00 +0200 | wenzelm | simplified type int (eliminated IntInf.int, integer); | file | diff | annotate |
| Thu, 05 Jul 2007 00:06:12 +0200 | wenzelm | Logical operations on numerals (see also HOL/hologic.ML). | file | diff | annotate |