Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2003-05-10 19:08:47 -0700 (Sat, 10 May 2003)
Revision: 4583
Log message:

      1. Itt_int_arith immediately follows after Itt_int_base and Itt_int_ext in
      the documentation template.
      2. More documentations added (and reorganized).
      

Changes	Path
+1 -1	metaprl/doc/latex/theories/itt/print.ml
+1 -1	metaprl/theories/itt/itt_int_arith.ml
+13 -1	metaprl/theories/itt/itt_int_base.ml
+67 -55	metaprl/theories/itt/itt_int_ext.ml