changeset 24597 | cbf2c5cf335e |
parent 24329 | f31594168d27 |
child 24688 | a5754ca5c510 |
24596:f1333a841b26 | 24597:cbf2c5cf335e |
---|---|
16 > cd "../FOL"; |
16 > cd "../FOL"; |
17 > use "ROOT.ML"; |
17 > use "ROOT.ML"; |
18 *) |
18 *) |
19 |
19 |
20 (** ML system related **) |
20 (** ML system related **) |
21 |
|
22 val ml_system_fix_ints = false; |
|
21 |
23 |
22 load "Obj"; |
24 load "Obj"; |
23 load "Bool"; |
25 load "Bool"; |
24 load "Int"; |
26 load "Int"; |
25 load "Real"; |
27 load "Real"; |