Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2005-02-07 15:27:02 -0800 (Mon, 07 Feb 2005)
Revision: 6626
Log message:

      Proved more rules.
      

Changes  Path
+16 -0 metaprl/theories/itt/itt_synt_bterm.ml
+1413 -1164 metaprl/theories/itt/itt_synt_bterm.prla