1.1 --- a/TODO.md	Thu Aug 04 15:25:44 2022 +0200
     1.2 +++ b/TODO.md	Thu Aug 04 15:38:42 2022 +0200
     1.3 @@ -67,7 +67,6 @@
     1.4  
     1.5  ***** priority of WN items is top down, most urgent/simple on top
     1.6  
     1.7 -* WN: cleanup method-def.sml, problem-def.sml,
     1.8  * WN: Calculate.thy: add structure Calculate, also signature EXAMPLE
     1.9  * WN: MethodC.from_store throws exn 'get_pbt not found: ' ... confusing !! take 'ketype' as an argument
    1.10  

     2.1 --- a/src/Tools/isac/BaseDefinitions/method-def.sml	Thu Aug 04 15:25:44 2022 +0200
     2.2 +++ b/src/Tools/isac/BaseDefinitions/method-def.sml	Thu Aug 04 15:38:42 2022 +0200
     2.3 @@ -12,15 +12,12 @@
     2.4    val id_to_string: id -> string
     2.5  
     2.6    type T
     2.7 -(*type met*)
     2.8    val empty: T
     2.9 -(*val e_met: T*)
    2.10 +
    2.11    type store
    2.12 -(*type mets*)
    2.13    val empty_store: T Store.node
    2.14 -(*val e_Mets: T Store.node*)
    2.15 +
    2.16    val check_unique: Check_Unique.id -> T Store.T -> unit
    2.17 -(*val check_metguh_unique: Check_Unique.id -> T Store.T -> unit*)
    2.18  end
    2.19  
    2.20  (**)

     3.1 --- a/src/Tools/isac/BaseDefinitions/problem-def.sml	Thu Aug 04 15:25:44 2022 +0200
     3.2 +++ b/src/Tools/isac/BaseDefinitions/problem-def.sml	Thu Aug 04 15:38:42 2022 +0200
     3.3 @@ -10,17 +10,14 @@
     3.4    type id = References_Def.id
     3.5    val id_empty: id
     3.6    val id_to_string: id -> string
     3.7 -(*type pbt*)
     3.8 +
     3.9    type T
    3.10 -(*val e_Ptyp: T Store.node*)
    3.11 +  val empty: T
    3.12 +
    3.13 +  type store
    3.14    val empty_store: T Store.node
    3.15 -(*val check_pblguh_unique: Check_Unique.id -> T Store.T -> unit*)
    3.16 +
    3.17    val check_unique: Check_Unique.id -> T Store.T -> unit
    3.18 -(*type ptyps*)
    3.19 -  type store
    3.20 -(*val e_pbt: T*)
    3.21 -  val empty: T
    3.22 -(*val pbts2str: T list -> string*)
    3.23    val s_to_string: T list -> string
    3.24  end
    3.25