Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-02-04 20:22:14 -0800 (Fri, 04 Feb 2005)
Revision: 6599
Log message:
Starting display form typing. Removed the create_term_parser function in
favor of a rewrite_of_parsed_rewrite function. There is limited demand
for user-defined parsers. We can resurrect if necessary, but I doubt we'll
need to.