Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2001-05-08 15:00:34 -0700 (Tue, 08 May 2001)
Revision: 3222
Log message:

      - Fixed slot["raw", ...]
      - Fixed couple small typos.
      

Changes	Path
+5 -5	metaprl/refiner/reflib/dform.ml
+1 -1	metaprl/theories/itt/itt_theory.ml
+1 -1	metaprl/theories/tactic/comment.ml