Note the modification dd. 05/01/94

This directory contains an example of how to implement backtracking in
an algebraic specification.
back: the specification
input: sample input for the termrewriter

usage:
psf back
trs permuteconstant.til < input
