| Tue, 04 Nov 1997 14:40:29 +0100 |
oheimb |
* removed "axioms" and "generated by" section
|
changeset |
files
|
| Tue, 04 Nov 1997 14:37:51 +0100 |
oheimb |
simplified (and corrected) syntax definition of fapp
|
changeset |
files
|
| Tue, 04 Nov 1997 14:09:37 +0100 |
narasche |
data kinds 'datatypes', data kinds 'records' added
|
changeset |
files
|
| Tue, 04 Nov 1997 13:35:13 +0100 |
wenzelm |
removed old datatype_info;
|
changeset |
files
|
| Tue, 04 Nov 1997 13:31:14 +0100 |
wenzelm |
added Thy/path.ML;
|
changeset |
files
|
| Tue, 04 Nov 1997 12:59:01 +0100 |
nipkow |
Logic.loops -> Logic.rewrite_rule_ok
|
changeset |
files
|
| Tue, 04 Nov 1997 12:58:10 +0100 |
nipkow |
logic: loops -> rewrite_rule_ok
|
changeset |
files
|
| Tue, 04 Nov 1997 12:46:50 +0100 |
wenzelm |
added path.ML;
|
changeset |
files
|
| Tue, 04 Nov 1997 12:44:17 +0100 |
wenzelm |
added base;
|
changeset |
files
|
| Tue, 04 Nov 1997 12:33:51 +0100 |
wenzelm |
Abstract algebra of file paths. External representation Unix-style.
|
changeset |
files
|
| Tue, 04 Nov 1997 12:04:57 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Tue, 04 Nov 1997 12:03:48 +0100 |
wenzelm |
removed old thy data stuff;
|
changeset |
files
|
| Tue, 04 Nov 1997 09:27:32 +0100 |
wenzelm |
fixed set_current_thy pattern;
|
changeset |
files
|
| Tue, 04 Nov 1997 09:26:15 +0100 |
wenzelm |
isatool fixclasimp;
|
changeset |
files
|