1.1 --- a/src/Tools/isac/ProgLang/termC.sml	Sat Jun 01 11:09:19 2019 +0200
     1.2 +++ b/src/Tools/isac/ProgLang/termC.sml	Sat Jun 22 13:15:52 2019 +0200
     1.3 @@ -66,6 +66,7 @@
     1.4      val strip_trueprop: term -> term
     1.5  
     1.6      val num_str: thm -> thm
     1.7 +    val numbers_to_string: term -> term
     1.8      val uminus_to_string: term -> term
     1.9      val var2free: term -> term
    1.10      val vars: term -> term list
    1.11 @@ -82,7 +83,6 @@
    1.12      val contains_one_of: thm * (string * typ) list -> bool
    1.13  (*/-------------------------------------------------------- ! aktivate for Test_Isac BEGIN ---\* )
    1.14      val atomt: term -> unit
    1.15 -    val numbers_to_string: term -> term
    1.16      val typ_a2real: term -> term
    1.17  ( *\--- ! aktivate for Test_Isac END ----------------------------------------------------------/*)
    1.18    end