| Wed, 05 Nov 1997 11:40:23 +0100 |
wenzelm |
added TYPE syntax;
|
changeset |
files
|
| Wed, 05 Nov 1997 11:35:07 +0100 |
wenzelm |
fixed exception OPTION;
|
changeset |
files
|
| Wed, 05 Nov 1997 11:34:44 +0100 |
wenzelm |
adapted add_trfunsT;
|
changeset |
files
|
| Wed, 05 Nov 1997 11:33:45 +0100 |
wenzelm |
adapted add_trfunsT;
|
changeset |
files
|
| Wed, 05 Nov 1997 11:33:05 +0100 |
wenzelm |
fixed exception OPTION;
|
changeset |
files
|
| Wed, 05 Nov 1997 11:19:15 +0100 |
wenzelm |
base root = "";
|
changeset |
files
|
| Wed, 05 Nov 1997 09:08:35 +0100 |
nipkow |
Added an alternativ version of AutoChopper and a theory for the conversion of
|
changeset |
files
|
| Tue, 04 Nov 1997 20:52:20 +0100 |
oheimb |
removed redundant ball_image
|
changeset |
files
|
| Tue, 04 Nov 1997 20:50:35 +0100 |
oheimb |
removed redundant ball_empty and bex_empty (see equalities.ML)
|
changeset |
files
|
| Tue, 04 Nov 1997 20:49:45 +0100 |
oheimb |
added several theorems
|
changeset |
files
|
| Tue, 04 Nov 1997 20:48:38 +0100 |
oheimb |
added the, option_map, and case analysis theorems
|
changeset |
files
|
| Tue, 04 Nov 1997 20:47:38 +0100 |
oheimb |
added zip and nodup
|
changeset |
files
|
| Tue, 04 Nov 1997 20:46:56 +0100 |
oheimb |
added theorems for Eps
|
changeset |
files
|
| Tue, 04 Nov 1997 17:16:26 +0100 |
wenzelm |
tuned usage;
|
changeset |
files
|
| Tue, 04 Nov 1997 17:12:13 +0100 |
wenzelm |
HOLCFLogic.ML, contconsts.ML renamed to holcf_logic.ML, cont_consts.ML;
|
changeset |
files
|
| Tue, 04 Nov 1997 16:57:52 +0100 |
wenzelm |
tuned to make non-Poly/MLs happy;
|
changeset |
files
|