Changes by: Carl Witty (cwitty at newtonlabs.com)
Date: 2000-09-04 10:09:49 -0700 (Mon, 04 Sep 2000)
Revision: 3056
Log message:
Started changing declare/prim_rw to define (as in TODO 2.01.2).
Also fixed an unsoundness in itt_dprod.ml where fst{} had two definitions:
prim_rw unfoldFst : fst{'e} <--> spread{'e; u, v. 'u}
prim_rw unfoldSnd : fst{'e} <--> spread{'e; u, v. 'v}