Structure Thm

Source File	Identifier index	Theory binding index

signature Thm =
sig
  include FinalThm
end

Source File	Identifier index	Theory binding index