Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2005-07-29 14:33:50 -0700 (Fri, 29 Jul 2005)
Revision: 7670
Log message:

      Forgot to remove debug messages.
      

Changes  Path
+0 -13 metaprl/theories/s4lp/s4_internal.ml