Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-01-26 23:08:13 -0800 (Mon, 26 Jan 2004)
Revision: 5288
Log message:
- The Itt_antiquotient.eq_mem_eq rule was missing an assumption, fixed.
- Fixed a few broken links in htmlman
- Started a theory implementing a "base" type idea that I've posted to the
newsgroup about a month ago.