Changes by: Alexei Kopylov (kopylov at cs.caltech.edu)
Date: 2005-02-24 16:15:11 -0800 (Thu, 24 Feb 2005)
Revision: 6758
Log message:

      Added some display forms and documentation.
      Renamed unfold_eq -> unfold_is_eq. Some proofs broke. Xin, could you fix them?
      

Changes	Path
+42 -11	metaprl/theories/itt/itt_synt_var.ml