[jyh] Added some new BUGS and things TODO._ Mon Sep 19 02:18:01 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-09/2005-09-19-02-18-01-049886000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-09/2005-09-19-02-18-01-049886000-PDT.html [jyh] Rules are automatically added to mptop toploop. This just means_ Mon Sep 19 02:18:01 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-09/2005-09-19-02-18-01-509348000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-09/2005-09-19-02-18-01-509348000-PDT.html [jyh] Finally fixed the tutorial so that we have a derivation of_ Mon Sep 19 02:18:02 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-09/2005-09-19-02-18-02-252408000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-09/2005-09-19-02-18-02-252408000-PDT.html [kopylov] The rule interactive bunionElimination in the theory itt_bunion is not correct._ Mon Sep 19 02:18:20 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-09/2005-09-19-02-18-20-206133000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-09/2005-09-19-02-18-20-206133000-PDT.html