Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-02-17 05:12:07 -0800 (Thu, 17 Feb 2005)
Revision: 6709
Log message:
- Proved all the theorems in itt_synt_subst, except for the
subst_add_vars_upto
- Enabled the usage of the ge_intro resource in arithT (does not always work
right for some reason). Added ge_intro resource annotation for a "n in nat"
conslusion.