Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu) Date: 2000-10-10 05:29:43 -0700 (Tue, 10 Oct 2000) Revision: 3083 Log message:
reduce_resources added and theories added to Makefile