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