Structure pureSimps

Source File	Identifier index	Theory binding index

signature pureSimps = sig

  val PURE_ss : simpLib.ssfrag
  val pure_ss : simpLib.simpset

end

Source File	Identifier index	Theory binding index