Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2005-03-16 16:14:00 -0800 (Wed, 16 Mar 2005)
Revision: 6952
Log message:

      Remove the Itt_synt_language module.
      

Changes	Path
Deleted	metaprl/theories/itt/itt_synt_language.ml
Deleted	metaprl/theories/itt/itt_synt_language.mli
Deleted	metaprl/theories/itt/itt_synt_language.prla