| 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 |