Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-06-22 13:01:44 -0700 (Mon, 22 Jun 1998)
Revision: 2269
Log message:

      Fixed syntax error in term_addr_gen.ml
      

Changes	Path
+4 -4	metaprl/refiner/term_gen/term_addr_gen.ml
+6 -3	metaprl/theories/czf/czf_itt_or.ml
+4 -1	metaprl/theories/tactic/rewrite_type.ml
+4 -1	metaprl/theories/tactic/rewrite_type.mli