Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2003-12-01 18:53:54 -0800 (Mon, 01 Dec 2003)
Revision: 5138
Log message:

      Uncommented several rules that were commented out because of the weak-memo problem.
      

Changes	Path
+0 -2	metaprl/theories/itt/itt_int_ext.mli