Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2005-03-29 12:27:33 -0800 (Tue, 29 Mar 2005)
Revision: 7067
Log message:

      Sorry for slipping debug messages into my previous commit.
      

Changes  Path
+3 -3 metaprl/theories/itt/itt_omega.ml