Structure CooperCore

Source File Identifier index Theory binding index 
signature CooperCore = sig
  include Abbrev
  val phase4_CONV : conv
  val phase5_CONV : conv
end;
Source File Identifier index Theory binding index

HOL 4, Kananaskis-10