Changes by: Alexei Kopylov (kopylov at cs.caltech.edu)
Date: 2005-02-01 16:51:43 -0800 (Tue, 01 Feb 2005)
Revision: 6561
Log message:

      Add a theory Itt_synt_bterm
      Aleksey, note that we have to add the rule  operatorSquiddle.
      

Changes  Path
+1 -0 metaprl/theories/itt/OMakefile
+6 -0 metaprl/theories/itt/itt_list2.ml
+1 -0 metaprl/theories/itt/itt_list2.mli
Added metaprl/theories/itt/itt_synt_bterm.ml
Properties metaprl/theories/itt/itt_synt_bterm.ml
Added metaprl/theories/itt/itt_synt_bterm.mli
Properties metaprl/theories/itt/itt_synt_bterm.mli
+0 -0 metaprl/theories/itt/itt_synt_operator.ml
+5 -0 metaprl/theories/itt/itt_synt_operator.mli
Deleted metaprl/theories/itt/itt_synt_term.ml
+3 -0 metaprl/theories/itt/itt_synt_var.ml