Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1997-08-06 09:44:03 -0700 (Wed, 06 Aug 1997)
Revision: 2052
Log message:

      Updated CVS content.
      

Changes	Path
Properties	metaprl
Added	metaprl/.cpdir
Properties	metaprl/.cpdir
Properties	metaprl/clib
Added	metaprl/clib/.cprc
Properties	metaprl/clib/.cprc
Properties	metaprl/editor/ml
Properties	metaprl/filter
Added	metaprl/filter/.cprc
Properties	metaprl/filter/.cprc
Properties	metaprl/mllib
Properties	metaprl/refiner
Added	metaprl/refiner/.cprc
Properties	metaprl/refiner/.cprc
Properties	metaprl/theories/base
Properties	metaprl/theories/itt
Properties	metaprl/theories/rewrite
Properties	metaprl/theories/tactic