Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-06-13 20:32:18 -0700 (Sun, 13 Jun 1999)
Revision: 2711
Log message:

      cvf_theory is not an MLZFILE and should not be mentioned in Makefile
      

Changes	Path
+0 -3	metaprl/theories/czf/Makefile