Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-01-26 04:55:48 -0800 (Mon, 26 Jan 2004)
Revision: 5280
Log message:

      Use bind instead of lambda for marking SO variables in rule arguments.
      

Changes	Path
+1114 -1727	metaprl/theories/itt/itt_dfun.prla
+1 -1	metaprl/theories/itt/itt_int_base.ml
+1 -1	metaprl/theories/itt/itt_list.ml
+3181 -3766	metaprl/theories/itt/itt_list.prla
+1 -1	metaprl/theories/itt/itt_poly.prla
+3 -3	metaprl/theories/itt/itt_rfun.ml
+1 -1	metaprl/theories/itt/itt_srec.ml