Fri, 18 Sep 1998 16:05:08 +0200 | paulson | improved (but still flawed) treatment of binary arithmetic | file | diff | annotate |
Tue, 15 Sep 1998 15:06:29 +0200 | paulson | revised treatment of integers | file | diff | annotate |
Fri, 24 Jul 1998 13:19:38 +0200 | berghofe | Adapted to new datatype package. | file | diff | annotate |
Mon, 09 Mar 1998 16:16:21 +0100 | wenzelm | Symbol.explode; | file | diff | annotate |
Mon, 06 Oct 1997 19:15:22 +0200 | wenzelm | eliminated raise_term; | file | diff | annotate |
Fri, 18 Apr 1997 11:54:54 +0200 | paulson | Renamed sign constructors to eliminate clash with the Plus infix of Sum.thy | file | diff | annotate |
Fri, 29 Mar 1996 13:18:26 +0100 | paulson | Binary integers and their numeric syntax | file | diff | annotate |