Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2003-03-03 16:48:43 -0800 (Mon, 03 Mar 2003)
Revision: 4152
Log message:

      Added itt_cyclic_group and removed itt_abelian_group for documentation.
      

Changes  Path
+1 -1 metaprl/doc/latex/theories/itt/print.ml