Structure jrhCore


Source File Identifier index Theory binding index

signature jrhCore = sig
  include Abbrev
  val phase4_CONV : conv
  val phase5_CONV : conv
end


Source File Identifier index Theory binding index

HOL 4, Kananaskis-13