1.1 --- a/src/Tools/isac/calcelems.sml	Fri Dec 14 20:53:15 2018 +0100
     1.2 +++ b/src/Tools/isac/calcelems.sml	Thu Dec 20 18:02:25 2018 +0100
     1.3 @@ -132,7 +132,6 @@
     1.4  type calcID = int;
     1.5  
     1.6  (* TODO CLEANUP Thm:
     1.7 -type rule = 
     1.8  Thm (string, thm): (a) needs string to identify sym_thmID for handling in front-end;
     1.9                     (b) investigate if ""RS sym" attaches a [.]" still occurs: string_of_thmI
    1.10  thmID            : type for data from user input + program