1.1 --- a/src/Tools/isac/BaseDefinitions/calcelems.sml	Tue Apr 21 16:16:11 2020 +0200
     1.2 +++ b/src/Tools/isac/BaseDefinitions/calcelems.sml	Tue Apr 21 16:53:17 2020 +0200
     1.3 @@ -31,6 +31,7 @@
     1.4    type pbt_ = string * (term * term)
     1.5    val update_hrls: Thy_Html.thydata -> Error_Fill_Def.errpatID list -> Thy_Html.thydata
     1.6  
     1.7 +  val knowthys: unit -> theory list
     1.8    val isabthys: unit -> theory list
     1.9    val partID': ThyC.id -> string
    1.10