Thu, 25 Jun 1998 13:57:34 +0200 |
paulson |
Installation of target HOL-Real
|
file |
diff |
annotate
|
Fri, 29 Nov 1996 15:08:06 +0100 |
nipkow |
Moved the Rings stuff from ex to Integ and showed that int::cring.
|
file |
diff |
annotate
|
Fri, 29 Mar 1996 13:18:26 +0100 |
paulson |
Binary integers and their numeric syntax
|
file |
diff |
annotate
|
Tue, 30 Jan 1996 15:24:36 +0100 |
clasohm |
expanded tabs
|
file |
diff |
annotate
|
Tue, 21 Nov 1995 12:43:09 +0100 |
clasohm |
removed make_chart;
|
file |
diff |
annotate
|
Tue, 24 Oct 1995 14:50:24 +0100 |
clasohm |
added calls of init_html and make_chart
|
file |
diff |
annotate
|
Thu, 29 Jun 1995 12:48:48 +0200 |
clasohm |
renamed CHOL to HOL
|
file |
diff |
annotate
|
Mon, 10 Apr 1995 08:47:43 +0200 |
nipkow |
Removed the "exit 1" calls, since now the Makefile does them.
|
file |
diff |
annotate
|
Fri, 03 Mar 1995 12:04:45 +0100 |
clasohm |
new version of HOL/Integ with curried function application
|
file |
diff |
annotate
|