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

HOL 4, Kananaskis-13