Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2000-04-24 01:54:41 -0700 (Mon, 24 Apr 2000)
Revision: 2941
Log message:

      Added some information and some ideas:
      - FO Unification status and bugs
      - by-context free variables problem
      - dynamic tactics resource to allow easy redefining of tactics.
      - read-only theories to avoid unnecessary resource checkpointing.
      
      Spell-checked.
      

Changes	Path
+16 -3	metaprl/BUGS