Changes by: Alexei Kopylov (kopylov at cs.caltech.edu)
Date: 2005-05-27 20:11:16 -0700 (Fri, 27 May 2005)
Revision: 7335
Log message:

      More proofs
      

Changes	Path
+17 -5	metaprl/theories/itt/itt_hoas_bterm.ml
+1031 -431	metaprl/theories/itt/itt_hoas_bterm.prla