A program for parsing conditional term rewriting systems.
Author: Stefan Kurtz, kurtz@techfak.uni-bielefeld.de

make

should compile a program parser.x
The output of parser.x is the abstract syntax in Haskell Notation, as
defined by the type CTRS in abssyn.lhs. The show function for the type
CTRS gives output in a format which is identical to the input for
all files in the directory CTRS. The program has been tested for all files
in the dir CTRS, see the shell scripts Compare.sh and Cmpall.sh

Stefan Kurtz
Wed May 24 19:56:18 MET DST 2000
