author | wenzelm |
Sun, 19 Jun 2005 00:07:41 +0200 | |
changeset 16470 | 051db5bb21b5 |
parent 16469 | 7e27422c603e |
child 16471 | c487e7e8865f |
1.1 --- a/src/Pure/ML-Systems/mosml.ML Sun Jun 19 00:02:06 2005 +0200 1.2 +++ b/src/Pure/ML-Systems/mosml.ML Sun Jun 19 00:07:41 2005 +0200 1.3 @@ -12,6 +12,9 @@ 1.4 > val ml_system = "mosml"; 1.5 > use "ML-Systems/mosml.ML"; 1.6 > use "ROOT.ML"; 1.7 +> Session.finish (); 1.8 +> cd "../HOL"; 1.9 +> use "ROOT.ML"; 1.10 *) 1.11 1.12 (** ML system related **)