Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-07-04 18:47:36 -0700 (Sat, 04 Jul 1998)
Revision: 2300
Log message:

      Itt_theory.ml{,i} are now different.
      

Changes	Path
Properties	metaprl/theories/itt
Added	metaprl/theories/itt/itt_theory.ml
Properties	metaprl/theories/itt/itt_theory.ml
Added	metaprl/theories/itt/itt_theory.mli
Properties	metaprl/theories/itt/itt_theory.mli