Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-01-20 15:26:41 -0800 (Thu, 20 Jan 2005)
Revision: 6455
Log message:

      Minor clean-up from Jason
      

Changes	Path
+2 -2	metaprl/theories/czf/czf_itt_equiv.ml
+3 -9	metaprl/theories/czf/czf_itt_equiv.mli
+1 -5	metaprl/theories/czf/czf_itt_sall.mli
+1 -5	metaprl/theories/czf/czf_itt_sexists.mli