| Fri, 29 Nov 1996 15:31:13 +0100 | wenzelm | added qed_spec_mp (from HOL); | changeset | files |
| 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 |