Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-05-05 22:00:23 -0700 (Mon, 05 May 2003)
Revision: 4566
Log message:
- Rewriter redex compilation will now prohibit having a second-order variable
with the same name as other kinds of variables (including bound variables,
paramater and context ones).
- Updated display forms (prl and HTML):
a) Reverted back the times_df for prl (and listed a large number of alternatives)
b) Now subset, subseteq, sqsubset and sqsubseteq will be displayed correctly
(both prl and html modes) using four different symbols, as opposed to always
using the subseteq symbol, as before.