Structure ratReduce


Source File Identifier index Theory binding index

signature ratReduce =
sig

  include Abbrev
  val RAT_ADD_CONV : conv
  val RAT_MUL_CONV : conv

end


Source File Identifier index Theory binding index

HOL 4, Kananaskis-14