Changes by: Alexei Kopylov (kopylov at cs.caltech.edu)
Date: 2005-01-26 16:49:20 -0800 (Wed, 26 Jan 2005)
Revision: 6510
Log message:

      Make 4 rules primitive.
      Start fixing subst_make_bterm
      

Changes	Path
+24 -8	metaprl/theories/itt/itt_reflection.ml
+1386 -1185	metaprl/theories/itt/itt_reflection.prla