Changes by: Alexei Kopylov (kopylov at cs.caltech.edu)
Date: 2001-06-20 11:41:55 -0700 (Wed, 20 Jun 2001)
Revision: 3282
Log message:

      New tactics ans cnversionals are documented.
      

Changes	Path
+17 -8	metaprl/doc/itt_quickref.txt
+40 -5	metaprl/theories/tactic/top_conversionals.ml
+6 -0	metaprl/theories/tactic/top_tacticals.ml