[isabelle] Documentation on the simplifier

The book from Tobias and Franz Baader is a good one and I learned the
TRS basics from it. But there is a second good book with the title
"Advanced Topics in Term Rewriting" from Benno Ohlebusch, which has also
to be mentioned.


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.