Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2003-10-08 20:07:21 -0700 (Wed, 08 Oct 2003)
Revision: 4957
Log message:
Minor update
| Changes | Path |
| +4 -4 | metaprl/theories/itt/itt_rat.ml |
| +4 -4 | metaprl/theories/itt/itt_rat.mli |