Structure TheoryReader

Source File	Identifier index	Theory binding index

signature TheoryReader =
sig

     val load_thydata : string -> string -> (string, Thm.thm) Redblackmap.dict

end

Source File	Identifier index	Theory binding index