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, Kananaskis-14