1.1 --- a/src/Tools/isac/BridgeLibisabelle/interface-xml.sml	Thu Apr 22 12:53:26 2021 +0200
     1.2 +++ b/src/Tools/isac/BridgeLibisabelle/interface-xml.sml	Thu Apr 22 16:21:23 2021 +0200
     1.3 @@ -165,11 +165,6 @@
     1.4        XML.Text (if complete then "complete" else "incomplete")]),
     1.5      xml_of_modspec chd])
     1.6  
     1.7 -fun contextthyOK2xml calcid contthy =
     1.8 -  XML.Elem (("CONTEXTTHY", []), [
     1.9 -    XML.Elem (("CALCID", []), [XML.Text (string_of_int calcid)]),
    1.10 -    xml_of_contthy contthy])
    1.11 -
    1.12  fun contextpblOK2xml calcid contpbl =
    1.13    XML.Elem (("CONTEXTPBL", []), [
    1.14      XML.Elem (("CALCID", []), [XML.Text (string_of_int calcid)]),