| Mon, 14 Jul 2008 16:13:58 +0200 | chaieb | Simplified proofs | changeset | files |
| Mon, 14 Jul 2008 16:13:55 +0200 | chaieb | Simple theorems about zgcd moved to GCD.thy | changeset | files |
| Mon, 14 Jul 2008 16:13:51 +0200 | chaieb | Theorem names as in IntPrimes.thy, also several theorems moved from there | changeset | files |
| Mon, 14 Jul 2008 16:13:42 +0200 | chaieb | Fixed proofs. | changeset | files |
| Mon, 14 Jul 2008 11:19:43 +0200 | wenzelm | ProofNode.current | changeset | files |
| Mon, 14 Jul 2008 11:19:42 +0200 | wenzelm | command 'redo' no longer available; | changeset | files |
| Mon, 14 Jul 2008 11:19:41 +0200 | wenzelm | replaced obsolete ProofHistory by ProofNode (backtracking only); | changeset | files |
| Mon, 14 Jul 2008 11:19:40 +0200 | wenzelm | removed obsolete 'redo' command; | changeset | files |