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