| Fri, 29 Nov 1996 15:11:37 +0100 | nipkow | Ring Theory. | changeset | files |
| Fri, 29 Nov 1996 15:08:06 +0100 | nipkow | Moved the Rings stuff from ex to Integ and showed that int::cring. | changeset | files |
| Fri, 29 Nov 1996 15:07:27 +0100 | nipkow | Modified dependencies for ex and Integ. (Rings) | changeset | files |
| Fri, 29 Nov 1996 12:22:22 +0100 | oheimb | *** empty log message *** | changeset | files |
| Fri, 29 Nov 1996 12:17:30 +0100 | oheimb | moved Lift*.* to Up*.*, renaming of all constans and theorems concerned, | changeset | files |
| Fri, 29 Nov 1996 12:16:57 +0100 | oheimb | modified file headers | changeset | files |
| Fri, 29 Nov 1996 12:15:33 +0100 | oheimb | renamed is_flat to flat, | changeset | files |
| Thu, 28 Nov 1996 15:56:04 +0100 | paulson | Addition of Woo-Lam protocol | changeset | files |