1.1 --- a/src/Tools/isac/calcelems.sml	Tue Nov 19 22:18:14 2013 +0000
     1.2 +++ b/src/Tools/isac/calcelems.sml	Tue Nov 19 22:23:30 2013 +0000
     1.3 @@ -405,12 +405,8 @@
     1.4  type cas_elem = 
     1.5    (term *          (* cas-command, eg. 'solve'                         *)
     1.6      (spec *        (* theory, problem, method                          *)
     1.7 -    generate_fn)) 
     1.8 -type castab = cas_elem list
     1.9 +    generate_fn))
    1.10  fun cas_eq ((t1, (_, _)) : cas_elem, (t2, (_, _)) : cas_elem) = t1 = t2
    1.11 -val castab = Unsynchronized.ref ([]: castab);
    1.12 -
    1.13 -fun assoc_castab x = assoc (!castab, x);
    1.14  
    1.15  (*either theID or pblID or metID*)
    1.16  type kestoreID = string list;