Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu) Date: 2002-08-06 09:28:27 -0700 (Tue, 06 Aug 2002) Revision: 3770 Log message:
Adding ``fir'' to ALL_THEORIES.