1.1 --- a/src/Tools/isac/calcelems.sml	Fri Oct 25 20:52:08 2013 +0100
     1.2 +++ b/src/Tools/isac/calcelems.sml	Fri Oct 25 20:58:28 2013 +0100
     1.3 @@ -420,9 +420,6 @@
     1.4  				    ("dummy_ord", dummy_ord)]);
     1.5  
     1.6  
     1.7 -(*FIXME.040207 calclist': used by prep_rls, NOT in met*)
     1.8 -val calclist' = Unsynchronized.ref ([]: calc list);
     1.9 -
    1.10  (* A tree for storing data defined in different theories 
    1.11    for access from the Interpreter and from dialogue authoring 
    1.12    using a string list as key.