Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2002-05-16 18:42:37 -0700 (Thu, 16 May 2002)
Revision: 3655
Log message:

      Added itt_collection to theories.pdf
      

Changes	Path
+1 -1	metaprl/doc/latex/theories/itt/print.ml
+26 -13	metaprl/theories/itt/itt_collection.ml
+10 -0	texinputs/metaprl.bib