Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2005-08-29 01:36:00 -0700 (Mon, 29 Aug 2005)
Revision: 7687
Log message:

      Another way defining language
      

Changes	Path
+93 -15	metaprl/theories/itt/itt_hoas_lang.ml
+1 -1	metaprl/theories/itt/itt_hoas_lang.mli
+2254 -390	metaprl/theories/itt/itt_hoas_lang.prla