1.1 --- a/src/Tools/isac/calcelems.sml	Thu Mar 08 07:28:17 2018 +0100
     1.2 +++ b/src/Tools/isac/calcelems.sml	Thu Mar 08 07:52:06 2018 +0100
     1.3 @@ -905,7 +905,7 @@
     1.4                         for constraints on identifiers see "fun cpy_nam" *)
     1.5    met : metID list}   (* methods solving the pbt*)
     1.6  
     1.7 -val e_pbt = {guh = "pbl_empty", mathauthors = [], init = e_pblID, thy = Thy_Info.get_theory "Pure",
     1.8 +val e_pbt = {guh = "pbl_empty", mathauthors = [], init = e_pblID, thy = Thy_Info.get_theory "Isac",
     1.9    cas = NONE, prls = Erls, where_ = [], ppc = [], met = []} : pbt
    1.10  fun pbt2str
    1.11          ({cas = cas', guh = guh', init = init', mathauthors = ma', met = met', ppc = ppc',
    1.12 @@ -1102,7 +1102,7 @@
    1.13  
    1.14  (* group the theories defined in Isac, compare Build_Thydata:
    1.15    section "Get and group the theories defined in Isac" *) 
    1.16 -fun isabthys () = (*["Complex_Main", "Taylor", .., "Pure"]*)
    1.17 +fun isabthys () = (*["Complex_Main", "Taylor", .., "Isac"]*)
    1.18    let
    1.19      val allthys = Theory.ancestors_of (Thy_Info_get_theory "Build_Thydata")
    1.20    in