Structure liftLib

Source File	Identifier index	Theory binding index

signature liftLib =
sig

  include Abbrev
  val QtDB : unit -> thm list
  val liftdef : thm -> string -> thm * thm

end

Source File	Identifier index	Theory binding index