Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-04-10 21:25:37 -0700 (Thu, 10 Apr 2003)
Revision: 4409
Log message:

      Minor clean-up.
      

Changes	Path
+3 -25	metaprl/filter/filter/filter_parse.ml
+1 -1	metaprl/theories/itt/itt_esquash.ml
+1 -1	metaprl/theories/itt/itt_squash.ml