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 |