Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-04-08 08:08:37 -0700 (Wed, 08 Apr 1998)
Revision: 2108
Log message:

      Moved precedence to mllib.
      

Changes  Path
+1 -0 metaprl/mllib/Makefile
+59 -262 metaprl/mllib/precedence.ml
+40 -37 metaprl/mllib/precedence.mli
+0 -1 metaprl/refiner/Makefile
Deleted metaprl/refiner/precedence.ml
Deleted metaprl/refiner/precedence.mli
+4 -1 metaprl/theories/tactic/tactic_cache.ml