Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1999-09-03 16:41:50 -0700 (Fri, 03 Sep 1999)
Revision: 2811
Log message:
Rules are automatically added to mptop toploop. This just means
that you can use a rule directly in a tactic without having to wrap
it. Rules require addresses, so they are still hard to use, but
at least they are accessible.