Structure Thm


Source File Identifier index Theory binding index

signature Thm =
sig

  include FinalThm where type tag = Tag.tag
                     and type hol_type = KernelTypes.hol_type
                     and type term = KernelTypes.term
end


Source File Identifier index Theory binding index

HOL 4, Kananaskis-10