1.1 --- a/src/Tools/isac/calcelems.sml	Sat Feb 10 15:12:59 2018 +0100
     1.2 +++ b/src/Tools/isac/calcelems.sml	Sat Feb 10 16:21:12 2018 +0100
     1.3 @@ -1094,7 +1094,7 @@
     1.4    let
     1.5      val allthys = Theory.ancestors_of (Thy_Info_get_theory "Build_Thydata")
     1.6    in
     1.7 -    drop ((find_index (curry Context.eq_thy (Thy_Info_get_theory "Complex_Main")) allthys), allthys)
     1.8 +    drop ((find_index (curry Context.eq_thy (Thy_Info.get_theory "Complex_Main")) allthys), allthys)
     1.9    end
    1.10  fun knowthys () = (*["Isac", .., "Descript", "Delete"]*)
    1.11    let
    1.12 @@ -1105,7 +1105,7 @@
    1.13              Thy_Info_get_theory "xmlsrc", Thy_Info_get_theory "Frontend"]) 
    1.14            (Theory.ancestors_of (Thy_Info_get_theory "Build_Thydata"))
    1.15        in
    1.16 -        take ((find_index (curry Context.eq_thy (Thy_Info_get_theory "Complex_Main")) allthys), 
    1.17 +        take ((find_index (curry Context.eq_thy (Thy_Info.get_theory "Complex_Main")) allthys), 
    1.18          allthys)
    1.19        end
    1.20      val isacthys' = isacthys ()
    1.21 @@ -1122,7 +1122,7 @@
    1.22              Thy_Info_get_theory "xmlsrc", Thy_Info_get_theory "Frontend"]) 
    1.23            (Theory.ancestors_of (Thy_Info_get_theory "Build_Thydata"))
    1.24        in
    1.25 -        take ((find_index (curry Context.eq_thy (Thy_Info_get_theory "Complex_Main")) allthys), 
    1.26 +        take ((find_index (curry Context.eq_thy (Thy_Info.get_theory "Complex_Main")) allthys), 
    1.27          allthys)
    1.28        end
    1.29      val isacthys' = isacthys ()