author | wenzelm |
Tue, 23 Oct 2001 22:52:45 +0200 | |
changeset 11909 | 92e442b783db |
parent 11908 | 82f68fd05094 |
child 11910 | 8b8923bfc259 |
--- a/src/Pure/Interface/ROOT.ML Tue Oct 23 22:52:31 2001 +0200 +++ b/src/Pure/Interface/ROOT.ML Tue Oct 23 22:52:45 2001 +0200 @@ -1,8 +1,8 @@ (* Title: Pure/Interface/ROOT.ML ID: $Id$ -Miscellaneous interfaces. +Specific support for user-interfaces. *) +use "isamode.ML"; use "proof_general.ML"; -use "isamode.ML";