Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2001-07-22 14:10:07 -0700 (Sun, 22 Jul 2001)
Revision: 3345
Log message:

      - Added a new tactic copyHypT for copying hypotheses (useful in elimination rules).
      - Simplified a few Itt_fset proofs.
      

Changes	Path
+3 -0	metaprl/doc/itt_quickref.txt
+1987 -2760	metaprl/theories/itt/itt_fset.prla
+3 -0	metaprl/theories/itt/itt_struct.ml
+1 -0	metaprl/theories/itt/itt_struct.mli