1.1 --- a/src/Tools/isac/Specify/p-spec.sml	Mon May 18 14:12:01 2020 +0200
     1.2 +++ b/src/Tools/isac/Specify/p-spec.sml	Mon May 18 14:21:41 2020 +0200
     1.3 @@ -7,12 +7,14 @@
     1.4  
     1.5  signature PRESENTATION_SPECIFICATION =
     1.6  sig
     1.7 +(*/------- rename -------\*)
     1.8    datatype iitem =
     1.9        Find of TermC.as_string list
    1.10      | Given of TermC.as_string list
    1.11      | Relate of TermC.as_string list
    1.12    type imodel = iitem list
    1.13    type icalhd = Pos.pos' * TermC.as_string * imodel * Pos.pos_ * References.T
    1.14 +  val empty: icalhd
    1.15    val input_icalhd : Ctree.ctree -> icalhd -> Ctree.ctree * Specification.T
    1.16  (* ---- for tests only: shifted from below to remove the Warning "unused" at fun.def. --------- *)
    1.17    (*  NONE *)
    1.18 @@ -36,6 +38,7 @@
    1.19      (''a * string) list ->
    1.20        (int * int list * bool * ''a * Model_Def.i_model_feedback) list (*I_Model.T?*)
    1.21  ( *\--- ! aktivate for Test_Isac END ----------------------------------------------------------/*)
    1.22 +(*\------- rename -------/*)
    1.23  end
    1.24  
    1.25  (**)
    1.26 @@ -61,7 +64,7 @@
    1.27    imodel *           (* the model                          *)
    1.28    Pos.pos_ *         (* model belongs to Problem or Method *)
    1.29    References.T;      (* into Know_Store                    *)
    1.30 -val e_icalhd = (Pos.e_pos', "", [Given [""]], Pos.Pbl, References.empty)
    1.31 +val empty = (Pos.e_pos', "", [Given [""]], Pos.Pbl, References.empty)
    1.32  
    1.33  (* re-parse itms with a new thy and prepare for checking with ori list *)
    1.34  fun parsitm dI (itm as (i, v, _, f, I_Model.Cor ((d, ts), _))) =