| Mon, 25 Feb 2008 16:31:20 +0100 | wenzelm | implicit use of LocalTheory.group etc.; | changeset | files |
| Mon, 25 Feb 2008 16:31:19 +0100 | wenzelm | maintain group in lthy data, implicit use in operations; | changeset | files |
| Mon, 25 Feb 2008 16:31:18 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 25 Feb 2008 16:31:17 +0100 | wenzelm | LocalTheory.set_group for user command; | changeset | files |
| Mon, 25 Feb 2008 16:31:15 +0100 | wenzelm | inductive package: simplified group handling; | changeset | files |
| Mon, 25 Feb 2008 12:05:58 +0100 | chaieb | Added dependency of Library on Pocklington.thy | changeset | files |
| Mon, 25 Feb 2008 12:04:09 +0100 | chaieb | Pocklington's Primality criterion | changeset | files |
| Mon, 25 Feb 2008 11:59:57 +0100 | chaieb | More primality theorems | changeset | files |