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-10