Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2000-02-18 19:33:01 -0800 (Fri, 18 Feb 2000)
Revision: 2891
Log message:

      Renamed
      

Changes	Path
Added	metaprl/editor/ml/tests/tptp-gen.ml
Properties	metaprl/editor/ml/tests/tptp-gen.ml
Deleted	metaprl/editor/ml/tests/z.ml