diff -r 229e5c9cf78b -r 3a7d1c9e91f3 src/Tools/isac/calcelems.sml
--- a/src/Tools/isac/calcelems.sml	Mon Mar 26 07:28:39 2018 +0200
+++ b/src/Tools/isac/calcelems.sml	Mon Mar 26 09:20:09 2018 +0200
@@ -118,7 +118,6 @@
     val insert_fillpats: thydata ptyp list -> (pblID * fillpat list) list -> thydata ptyp list ->
       thydata ptyp list
 (*/-------------------------------------------------------- ! aktivate for Test_Isac BEGIN ---\* )
-    val terms2strs: term list -> string list
     val knowthys: unit -> theory list
     val e_pbt: pbt
 ( *\--- ! aktivate for Test_Isac END ----------------------------------------------------------/*)