Sat, 27 Apr 1996 12:09:21 +0200 | nipkow | Generalized types of some of the operators (thanks to Norbert Voelker) | changeset | files |
Sat, 27 Apr 1996 12:07:31 +0200 | nipkow | Added R_O_id and id_O_R | changeset | files |
Sat, 27 Apr 1996 12:05:58 +0200 | nipkow | Added R^1 = R | changeset | files |