Thu, 28 Aug 2008 22:09:20 +0200 | haftmann | restructured and split code serializer module | file | diff | annotate |
Sun, 17 Feb 2008 06:49:53 +0100 | huffman | New simpler representation of numerals, using Bit0 and Bit1 instead of BIT, B0, and B1 | file | diff | annotate |
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 |