Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-07-07 14:42:56 -0700 (Mon, 07 Jul 2003)
Revision: 4708
Log message:

      make opt should now work, except on theories/tpt, which is still need
      to fix.
      

Changes	Path
+8 -8	metaprl-branches/abstract_vars/filter/Makefile
+1 -1	metaprl-branches/abstract_vars/mk/preface
+1 -1	metaprl-branches/abstract_vars/theories/tptp/tptp_load.ml