rewriter1
Demodulate terms
Usage
rewriter <demodulators-file>
<
<terms-file>
>
<rewritten-terms-file>
x ^
x
=
x.
x ^
(x
v
y)
=
x.
x v
x
=
x.
x v
(x
^
y)
=
x.
end_of_list.
Overview
This manual page documents briefly the rewriter command.
Rewrite a stream of terms with a list of demodulators. The demodulators are used left-to-right as given, and they are not checked for termination.
Releases
6 releases since Debian 5.0 (Lenny); the text changed 1 time.