1signature ratRingLib =
2sig
3 include Abbrev
4
5 val RAT_RING_NORM_CONV : conv
6 val RAT_RING_CONV : conv
7
8 val RAT_RING_NORM_TAC : tactic
9 val RAT_RING_TAC : tactic
10
11 val RAT_RING_NORM_RULE : thm -> thm
12 val RAT_RING_RULE : thm -> thm
13
14end
15