Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2001-05-07 20:37:36 -0700 (Mon, 07 May 2001)
Revision: 3217
Log message:

      - Better error messages for typos in rules and rewrites.
      
      - Fixed syntax of the Fol_struct.thin rule
      

Changes  Path
+14 -5 metaprl/filter/filter/filter_parse.ml
+5 -1 metaprl/refiner/refiner/refine.ml
+2 -3 metaprl/refiner/rewrite/rewrite_compile_contractum.ml
+2 -2 metaprl/theories/fol/fol_struct.ml