Changes by: Alexei Kopylov (kopylov at cs.caltech.edu)
Date: 2005-03-14 16:46:40 -0800 (Mon, 14 Mar 2005)
Revision: 6920
Log message:

      Proved the well_formedness of is_same_op for Operator.
      

Changes	Path
+4 -0	metaprl/theories/itt/itt_synt_operator.ml
+2355 -867	metaprl/theories/itt/itt_synt_operator.prla