Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-07-12 14:46:19 -0700 (Tue, 12 Jul 2005)
Revision: 7584
Log message:

      Committing Limin's current version of the ILC theory (with a few minor
      cosmetical changes).
      

Changes	Path
Properties	metaprl/theories/ilc
+62 -0	metaprl/theories/ilc/ilc_core.ml
+3 -0	metaprl/theories/ilc/ilc_core.mli
+1 -1	metaprl/theories/itt/itt_logic.ml