Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2000-02-18 19:45:48 -0800 (Fri, 18 Feb 2000)
Revision: 2892
Log message:

      These are obsolete.
      

Changes	Path
Deleted	metaprl/theories/itt/main.ml
Deleted	metaprl/theories/itt/main.mli
Deleted	metaprl/theories/itt/test