Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2001-06-04 18:59:26 -0700 (Mon, 04 Jun 2001)
Revision: 3251
Log message:

      Updated Itt_squash documentation.
      

Changes  Path
+47 -26 metaprl/theories/itt/itt_squash.ml
+46 -37 texinputs/metaprl.bib