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 |