Changes by: Eli Barzilay (eli at cs.cornell.edu)
Date: 1999-05-26 23:24:53 -0700 (Wed, 26 May 1999)
Revision: 2675
Log message:

      Added *.ppo.
      

Changes  Path
Properties metaprl/refiner/term_gen