Wed, 27 Mar 1996 18:48:50 +0100 |
paulson |
New mutilated checkerboard example
|
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
|
Fri, 30 Jun 1995 11:39:20 +0200 |
lcp |
added mention of new theories BT and Perm
|
file |
diff |
annotate
|
Thu, 29 Jun 1995 12:48:48 +0200 |
clasohm |
renamed CHOL to HOL
|
file |
diff |
annotate
|
Mon, 10 Apr 1995 08:49:00 +0200 |
nipkow |
ROOT.ML: Removed the "exit 1" calls, since now the Makefile does them.
|
file |
diff |
annotate
|
Fri, 24 Mar 1995 12:30:35 +0100 |
clasohm |
changed syntax of tuples from <..., ...> to (..., ...)
|
file |
diff |
annotate
|
Wed, 22 Mar 1995 13:22:42 +0100 |
clasohm |
fixed bug: HOL_build_completed replaced by CHOL_build_completed
|
file |
diff |
annotate
|
Wed, 22 Mar 1995 12:42:34 +0100 |
clasohm |
converted ex with curried function application
|
file |
diff |
annotate
|