Changes by: Alexei Kopylov (kopylov at cs.caltech.edu)
Date: 2005-02-17 18:25:49 -0800 (Thu, 17 Feb 2005)
Revision: 6718
Log message:

      Proved more theorems in Itt_list2. Now as far as I can tell proofs in Itt_synt* depend only on /itt_omega/var_elim2
      

Changes	Path
+3 -0	metaprl/theories/itt/itt_list2.ml
+585 -542	metaprl/theories/itt/itt_list2.prla