Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2001-02-23 03:57:07 -0800 (Fri, 23 Feb 2001)
Revision: 3154
Log message:
All interactive rules are proved
Changes | Path |
+33 -16 | metaprl/theories/itt/itt_int_base.ml |
+13 -9 | metaprl/theories/itt/itt_int_base.mli |
+2330 -2018 | metaprl/theories/itt/itt_int_base.prla |