Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2002-07-27 10:09:54 -0700 (Sat, 27 Jul 2002)
Revision: 3748
Log message:

      Added itt_pointwise to theories.pdf
      

Changes	Path
+1 -0	metaprl/doc/latex/theories/itt/print.ml
+14 -5	metaprl/theories/itt/itt_pointwise.ml