Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2001-05-07 16:29:35 -0700 (Mon, 07 May 2001)
Revision: 3216
Log message:
- Check the arity of the SO variables in the contractum at compile time.
- In rules & rewrites (``Strict'' mode) disallow turning bound variables
into free ones. I actually found two bugs in itt_rfun using this one!
- In display forms (``Relaxed'' mode) allow turning anything (parameters,
bound variables, etc) into variables.