Structure Thm


Source File Identifier index Theory binding index

signature Thm =
sig
  include FinalThm
end


Source File Identifier index Theory binding index

HOL 4, Kananaskis-13