Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2003-11-01 20:13:41 -0800 (Sat, 01 Nov 2003)
Revision: 5065
Log message:
hopefully this will fix the problem
Changes | Path |
+7 -3 | metaprl/theories/itt/itt_int_arith.ml |