Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2003-04-28 08:47:52 -0700 (Mon, 28 Apr 2003)
Revision: 4508
Log message:

      Some reorganizations for documentation purposes.
      

Changes	Path
+114 -170	metaprl/theories/itt/itt_int_base.ml
+0 -22	metaprl/theories/itt/itt_int_base.mli
+0 -9	metaprl/theories/itt/itt_int_ext.mli