Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-04-26 19:45:24 -0700 (Fri, 26 Apr 2002)
Revision: 3588
Log message:
Updating modules so that they generate documentation
for theories.pdf. Right now, it's _very_ minimal and
not so useful. Hopefully, I will get around to updating
them and making them decent.
Also updating the README file to properly reflect the
name of our research group at Caltech.