1.1 --- a/src/Tools/isac/BaseDefinitions/calcelems.sml	Tue Apr 21 10:13:30 2020 +0200
     1.2 +++ b/src/Tools/isac/BaseDefinitions/calcelems.sml	Tue Apr 21 10:53:04 2020 +0200
     1.3 @@ -71,8 +71,8 @@
     1.4  (*\------- to Celem8 -------/*)
     1.5  
     1.6  (*/------- to Celem6 -------\*)
     1.7 -  type met = Meth_Def.met
     1.8 -  type mets = Meth_Def.mets
     1.9 +  type met = Meth_Def.T
    1.10 +  type mets = Meth_Def.store
    1.11    val e_Mets: met Store.ptyp
    1.12  (*\------- to Celem6 -------/*)
    1.13  
    1.14 @@ -288,9 +288,9 @@
    1.15  (*\------- to Celem5 -------/*)
    1.16  
    1.17  (*/------- to Celem6 -------\*)
    1.18 -type met = Meth_Def.met;
    1.19 -val e_met = Meth_Def.e_met;
    1.20 -val e_Mets = Meth_Def.e_Mets;
    1.21 +type met = Meth_Def.T;
    1.22 +val e_met = Meth_Def.empty;
    1.23 +val e_Mets = Meth_Def.empty_store;
    1.24  type mets = (met Store.ptyp) list;
    1.25  (*\------- to Celem6 -------/*)
    1.26  
    1.27 @@ -298,8 +298,8 @@
    1.28  val check_guhs_unique = Check_Unique.check_guhs_unique;
    1.29  val coll_pblguhs = Check_Unique.collect (#guh : Probl_Def.T -> Check_Unique.guh);
    1.30  val check_pblguh_unique = Probl_Def.check_unique;
    1.31 -val coll_metguhs = Check_Unique.collect (#guh : Meth_Def.met -> Check_Unique.guh);
    1.32 -val check_metguh_unique = Meth_Def.check_metguh_unique;
    1.33 +val coll_metguhs = Check_Unique.collect (#guh : Meth_Def.T -> Check_Unique.guh);
    1.34 +val check_metguh_unique = Meth_Def.check_unique;
    1.35  (*\------- to Celem91 -------/*)
    1.36  
    1.37  (*/------- to Celem8 -------\*)