Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-10-14 00:42:44 -0700 (Tue, 14 Oct 2003)
Revision: 4987
Log message:
Now MetaPRL considers first-order variables to be something entirely seperate
from second-order ones (even 0-arity ones). Only in special functions
is_fso_var_term and dest_fso_var, FO variables and 0-arity SO variables
are not distinguished, but those functions are almost never used.
This fixes bug 75.