Wed, 05 Nov 2014 20:59:24 +0100 | haftmann | proper oriented equivalence of dvd predicate and mod | changeset | files |
Wed, 05 Nov 2014 22:39:49 +0100 | wenzelm | merged | changeset | files |
Wed, 05 Nov 2014 22:37:14 +0100 | wenzelm | more symbols; | changeset | files |