1.1 --- a/src/Tools/isac/calcelems.sml	Mon Mar 26 07:28:39 2018 +0200
     1.2 +++ b/src/Tools/isac/calcelems.sml	Mon Mar 26 09:20:09 2018 +0200
     1.3 @@ -118,7 +118,6 @@
     1.4      val insert_fillpats: thydata ptyp list -> (pblID * fillpat list) list -> thydata ptyp list ->
     1.5        thydata ptyp list
     1.6  (*/-------------------------------------------------------- ! aktivate for Test_Isac BEGIN ---\* )
     1.7 -    val terms2strs: term list -> string list
     1.8      val knowthys: unit -> theory list
     1.9      val e_pbt: pbt
    1.10  ( *\--- ! aktivate for Test_Isac END ----------------------------------------------------------/*)