History of Congruence uniform

Revision 2: View Diff . . March 13, 2003 12:14 am by Peter Jipsen
Revision 1: View Diff . . March 13, 2003 12:10 am by Peter Jipsen