Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2004-12-13 15:42:09 -0800 (Mon, 13 Dec 2004)
Revision: 6357
Log message:

      consSquiddleEq shouldn't be primitive.
      

Changes  Path
+2 -3 metaprl/theories/itt/itt_list.ml
+3908 -3793 metaprl/theories/itt/itt_list.prla