| Mon, 03 Nov 1997 12:12:10 +0100 |
wenzelm |
added thy_data;
|
changeset |
files
|
| Mon, 03 Nov 1997 12:11:34 +0100 |
wenzelm |
use "hologic.ML"; use "cladata.ML"; use "simpdata.ML"; moved to ROOT.ML;
|
changeset |
files
|
| Mon, 03 Nov 1997 12:09:37 +0100 |
wenzelm |
adapted to new implicit simpset;
|
changeset |
files
|
| Mon, 03 Nov 1997 12:09:20 +0100 |
wenzelm |
adapted to new implicit claset;
|
changeset |
files
|
| Mon, 03 Nov 1997 12:07:13 +0100 |
wenzelm |
fixed thy dependencies;
|
changeset |
files
|
| Mon, 03 Nov 1997 12:05:42 +0100 |
wenzelm |
aded thy_data;
|
changeset |
files
|
| Mon, 03 Nov 1997 12:04:38 +0100 |
wenzelm |
HOL theory data.
|
changeset |
files
|
| Mon, 03 Nov 1997 12:03:13 +0100 |
wenzelm |
added thy_data.ML;
|
changeset |
files
|
| Mon, 03 Nov 1997 11:56:53 +0100 |
wenzelm |
new implicit simpset mechanism based on Sign.sg anytype data;
|
changeset |
files
|
| Mon, 03 Nov 1997 11:56:36 +0100 |
wenzelm |
new implicit claset mechanism based on Sign.sg anytype data;
|
changeset |
files
|
| Mon, 03 Nov 1997 11:56:17 +0100 |
wenzelm |
adapted to new implicit claset mechanism;
|
changeset |
files
|
| Mon, 03 Nov 1997 11:48:56 +0100 |
wenzelm |
fix references to implicit claset and simpset;
|
changeset |
files
|