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 |