# HG changeset patch
# User Walther Neuper <wneuper@ist.tugraz.at>
# Date 1521121829 -3600
# Node ID 0b11cdcb1bea9062fdf52c8ae0024161a4b73c92
# Parent  f2eeb932eb26d2ec60415e6eb4c383ccca15a98b
tuned

diff -r f2eeb932eb26 -r 0b11cdcb1bea src/Tools/isac/Interpret/ctree-basic.sml
--- a/src/Tools/isac/Interpret/ctree-basic.sml	Thu Mar 15 12:45:31 2018 +0100
+++ b/src/Tools/isac/Interpret/ctree-basic.sml	Thu Mar 15 14:50:29 2018 +0100
@@ -240,7 +240,7 @@
 
 type envp =(*9.5.03: unused, delete with field in ctree.PblObj FIXXXME*)
   (int * term list) list * (* assoc-list: args of met*)
-  (int * rls) list *       (* assoc-list: tacs already done ///15.9.00*)
+  (int * Celem.rls) list * (* assoc-list: tacs already done ///15.9.00*)
   (int * ets) list *       (* assoc-list: tacs etc. already done*)
   (string * pos) list;     (* asms * from where*)
 
diff -r f2eeb932eb26 -r 0b11cdcb1bea src/Tools/isac/calcelems.sml
--- a/src/Tools/isac/calcelems.sml	Thu Mar 15 12:45:31 2018 +0100
+++ b/src/Tools/isac/calcelems.sml	Thu Mar 15 14:50:29 2018 +0100
@@ -261,7 +261,13 @@
     val type_to_string'': thyID -> typ -> string
     val type_to_string''': theory -> typ -> string
   ----------------------------------------- ^^^ make public -----------------------------------*)
+(* ---- for tests only: shifted from below to remove the Warning "unused" at fun.def. --------- *)
+    (* NONE *)
+(*/-------------------------------------------------------- ! aktivate for Test_Isac BEGIN ---\* )
+    (* NONE *)
+( *\--- ! aktivate for Test_Isac END ----------------------------------------------------------/*)
   end
+
 (**)
 structure Celem(**): CALC_ELEMENT(**) =
 struct
diff -r f2eeb932eb26 -r 0b11cdcb1bea src/Tools/isac/xmlsrc/datatypes.sml
--- a/src/Tools/isac/xmlsrc/datatypes.sml	Thu Mar 15 12:45:31 2018 +0100
+++ b/src/Tools/isac/xmlsrc/datatypes.sml	Thu Mar 15 14:50:29 2018 +0100
@@ -37,9 +37,9 @@
     val posterms2xml : int -> (Ctree.pos' * term) list -> Celem.xml
     val precond2xml : int -> bool * Term.term -> Celem.xml
     val preconds2xml : int -> (bool * Term.term) list -> Celem.xml
-    val rls2xml : int -> Celem.thyID * rls -> Celem.xml
-    val rule2xml : int -> Celem.guh -> rule -> Celem.xml
-    val rules2xml : int -> Celem.guh -> rule list -> Celem.xml
+    val rls2xml : int -> Celem.thyID * Celem.rls -> Celem.xml
+    val rule2xml : int -> Celem.guh -> Celem.rule -> Celem.xml
+    val rules2xml : int -> Celem.guh -> Celem.rule list -> Celem.xml
     val scr2xml : int -> Celem.scr -> Celem.xml
     val spec2xml : int -> Celem.spec -> Celem.xml
     val sub2xml : int -> Term.term * Term.term -> Celem.xml