Changes by: Alexei Kopylov (kopylov at cs.caltech.edu)
Date: 2005-03-09 14:49:07 -0800 (Wed, 09 Mar 2005)
Revision: 6874
Log message:

      - Added a definition of the type of lists with different elements diff_list. (What is the better name for it?)
      - More on itt_synt_language. Some rules probably still miss well-formednes conditions
      

Changes	Path
+1 -1	metaprl/theories/itt/OMakefile
+8 -1	metaprl/theories/itt/itt_list2.ml
+1 -0	metaprl/theories/itt/itt_list2.mli
+19 -3	metaprl/theories/itt/itt_synt_language.ml