1.1 --- a/src/Tools/isac/calcelems.sml	Thu Mar 15 15:26:06 2018 +0100
     1.2 +++ b/src/Tools/isac/calcelems.sml	Thu Mar 15 15:48:52 2018 +0100
     1.3 @@ -251,7 +251,6 @@
     1.4      type subs' = (cterm' * cterm') list
     1.5      val term_to_string'': thyID -> term -> string
     1.6      val terms2str': term list -> string
     1.7 -    val terms2strs: term list -> string list
     1.8      type thehier = thydata ptyp list
     1.9      val theory2str': theory -> string
    1.10      val thm2str: thm -> string
    1.11 @@ -264,7 +263,7 @@
    1.12  (* ---- for tests only: shifted from below to remove the Warning "unused" at fun.def. --------- *)
    1.13      (* NONE *)
    1.14  (*/-------------------------------------------------------- ! aktivate for Test_Isac BEGIN ---\* )
    1.15 -    (* NONE *)
    1.16 +    val terms2strs: term list -> string list
    1.17  ( *\--- ! aktivate for Test_Isac END ----------------------------------------------------------/*)
    1.18    end
    1.19