Structure OmegaShell

Source File	Identifier index	Theory binding index

signature OmegaShell =
sig
  include Abbrev

  val normalise                : conv
  val decide_strategy          : conv
  val decide_closed_presburger : conv

end

Source File	Identifier index	Theory binding index

HOL 4, Trindemossen-1