1.1 --- a/src/Tools/isac/MathEngBasic/method.sml	Wed Feb 03 15:21:12 2021 +0100
     1.2 +++ b/src/Tools/isac/MathEngBasic/method.sml	Wed Feb 03 16:39:44 2021 +0100
     1.3 @@ -28,7 +28,7 @@
     1.4  end
     1.5  
     1.6  (**)
     1.7 -structure Method(**): METHOD(**) =
     1.8 +structure MethodC(**): METHOD(**) =
     1.9  struct
    1.10  (**)
    1.11  
    1.12 @@ -40,9 +40,9 @@
    1.13  val id_to_string = Meth_Def.id_to_string;
    1.14  
    1.15  
    1.16 -(** prepare Method for Store **)
    1.17 +(** prepare MethodC for Store **)
    1.18  
    1.19 -(* a subset of Method.T record's fields *)
    1.20 +(* a subset of MethodC.T record's fields *)
    1.21  type input = 
    1.22    {calc: Rule_Def.calc list, crls: Rule_Set.T, errpats: Error_Pattern_Def.T list, nrls: Rule_Set.T,
    1.23      prls: Rule_Set.T, rew_ord': Rewrite_Ord.rew_ord', rls': Rule_Set.T, srls: Rule_Set.T}
    1.24 @@ -92,7 +92,7 @@
    1.25      end;
    1.26  
    1.27  
    1.28 -(** get Method from Store **)
    1.29 +(** get MethodC from Store **)
    1.30  
    1.31  (* TODO: throws exn 'get_pbt not found: ' ... confusing !! take 'ketype' as an argument *)
    1.32  fun from_store metID = Store.get (get_mets ()) metID metID;