Changes by: Alexei Kopylov (kopylov at cs.caltech.edu)
Date: 2003-12-04 21:05:43 -0800 (Thu, 04 Dec 2003)
Revision: 5148
Log message:
KAT:
- Move definitions of le,ge in kat_terms
- Add wf rules in kat_terms
- remove unneeded opens