Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2000-02-23 17:42:53 -0800 (Wed, 23 Feb 2000)
Revision: 2911
Log message:

      Planning for update to .prla files.
      

Changes  Path
+36 -0 metaprl/BUGS
+1 -1 metaprl/mllib/fun_splay_set.mli
+4 -0 metaprl/theories/itt/itt_bunion.ml
+5 -1 metaprl/theories/itt/itt_dfun.ml
+3 -1 metaprl/theories/itt/itt_dfun.mli
+55 -61 metaprl/theories/itt/itt_dprod.ml
+34 -37 metaprl/theories/itt/itt_prod.ml
+1 -1 metaprl/theories/itt/itt_prod.mli
+4 -0 metaprl/theories/itt/itt_rfun.ml
+2 -0 metaprl/theories/itt/itt_rfun.mli
+2 -1 metaprl/theories/tactic/mptop.ml