Changes by: Richard Eaton (eaton at cs.cornell.edu)
Date: 1998-04-16 07:55:12 -0700 (Thu, 16 Apr 1998)
Revision: 2132
Log message:

      .
      

Changes	Path
Added	metaprl/library/ascii_scan.ml
Properties	metaprl/library/ascii_scan.ml
Deleted	metaprl/library/ascii_term.ml