1.1 --- a/src/Tools/isac/calcelems.sml	Tue Nov 19 20:08:37 2013 +0000
     1.2 +++ b/src/Tools/isac/calcelems.sml	Tue Nov 19 20:44:21 2013 +0000
     1.3 @@ -388,6 +388,14 @@
     1.4       pblID * 
     1.5       metID;
     1.6  
     1.7 +fun spec2str ((dom,pbl,met)(*:spec*)) = 
     1.8 +  "(" ^ (quote dom) ^ ", " ^ (strs2str pbl) ^ 
     1.9 +  ", " ^ (strs2str met) ^ ")";
    1.10 +(*> spec2str empty_spec;
    1.11 +val it = "(\"\", [], (\"\", \"\"))" : string *)
    1.12 +val empty_spec = (e_domID,e_pblID,e_metID):spec;
    1.13 +val e_spec = empty_spec;
    1.14 +
    1.15  (*.association list with cas-commands, for generating a complete calc-head.*)
    1.16  type generate_fn = 
    1.17    (term list ->    (* the arguments of the cas-command, eg. (x+1=2, x) *)