Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-06-15 15:41:33 -0700 (Mon, 15 Jun 1998)
Revision: 2245
Log message:

      Added Makefile.
      

Changes	Path
Added	metaprl/theories/czf/Makefile
Properties	metaprl/theories/czf/Makefile