History of Equational theory

Revision 2: View Diff . . March 15, 2003 5:56 pm by Peter Jipsen
Revision 1: View Diff . . March 15, 2003 5:52 pm by Peter Jipsen