Structure Omega


Source File Identifier index Theory binding index

signature Omega =
sig

  include Abbrev
  val OMEGA_CONV : conv
  val OMEGA_PROVE : conv
  val OMEGA_TAC : tactic

end


Source File Identifier index Theory binding index

HOL 4, Kananaskis-13