src/Pure/ML-Systems/ml_name_space.ML
changeset 56275 600f432ab556
parent 30671 2f64540707d6
child 59127 723b11f8ffbf
     1.1 --- a/src/Pure/ML-Systems/ml_name_space.ML	Tue Mar 25 10:37:10 2014 +0100
     1.2 +++ b/src/Pure/ML-Systems/ml_name_space.ML	Tue Mar 25 13:18:10 2014 +0100
     1.3 @@ -54,4 +54,11 @@
     1.4    allSig = fn _ => [],
     1.5    allFunct = fn _ => []};
     1.6  
     1.7 +val initial_val : (string * valueVal) list = [];
     1.8 +val initial_type : (string * typeVal) list = [];
     1.9 +val initial_fixity : (string * fixityVal) list = [];
    1.10 +val initial_structure : (string * structureVal) list = [];
    1.11 +val initial_signature : (string * signatureVal) list = [];
    1.12 +val initial_functor : (string * functorVal) list = [];
    1.13 +
    1.14  end;