From Noam Zeilberger Fri Apr 2, 2004 As we progress, we plan to divide the labor of implementation by partitioning ourselves into subgroups focused on particular important aspects of the prover. For next week, we have created two separate teams -- one for dealing with unification, and one for generation of rules. These teams will meet separately before our general group meeting, which is again planned for next Friday.