Mon, 02 Dec 1996 10:19:52 +0100 | wenzelm | removed; | changeset | files |
Fri, 29 Nov 1996 18:03:21 +0100 | paulson | Swapped arguments of Crypt (for clarity and because it is conventional) | changeset | files |
Fri, 29 Nov 1996 17:58:18 +0100 | paulson | Swapping arguments of Crypt; removing argument lost | changeset | files |
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 |