src/Pure/ML-Systems/alice.ML
changeset 23835 1990e9acc7d1
parent 23826 463903573934
child 23921 947152add153
     1.1 --- a/src/Pure/ML-Systems/alice.ML	Tue Jul 17 16:14:42 2007 +0200
     1.2 +++ b/src/Pure/ML-Systems/alice.ML	Tue Jul 17 22:48:39 2007 +0200
     1.3 @@ -7,6 +7,7 @@
     1.4  
     1.5  $ cd Isabelle/src/Pure
     1.6  $ env ALICE_JIT_MODE=0 alice
     1.7 +- val ml_system = "alice";
     1.8  - use "ML-Systems/alice.ML";
     1.9  - use "ROOT.ML";
    1.10  - Session.finish ();