termlib-0.9: Term Rewriting Library

A comprehensive Term Rewriting Library. See Termlib.Repl for implemented functionality. This library is deprecated. Use the new rewriting library currently available at http://colo2-c703.uibk.ac.at/git/?p=rewriting;a=summary instead.