Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2005-06-28 18:18:41 -0700 (Tue, 28 Jun 2005)
Revision: 7468
Log message:

      total, tot andsolve were mutually nested, now they are non nested
      (but still mutually recursive, of course).
      

Changes	Path
+139 -110	metaprl/refiner/reflib/jall.ml