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 |