Structure CooperShell

Source File Identifier index Theory binding index 
signature CooperShell = sig
  include Abbrev

  val phase6_CONV : conv

  val pure_goal : conv
  val decide_pure_presburger_term : conv
end;
Source File Identifier index Theory binding index

HOL 4, Kananaskis-10