| Thu, 24 Sep 1998 15:20:29 +0200 | paulson | added correctness proofs for arithmetic | changeset | files |
| Thu, 24 Sep 1998 15:20:03 +0200 | paulson | new induction rule for integers | changeset | files |
| Thu, 24 Sep 1998 11:00:07 +0200 | oheimb | fixed calls of ln, rm | changeset | files |
| Wed, 23 Sep 1998 12:44:30 +0200 | wenzelm | changed xnum token syntax; | changeset | files |
| Wed, 23 Sep 1998 10:56:08 +0200 | paulson | unary minus | changeset | files |
| Wed, 23 Sep 1998 10:25:37 +0200 | paulson | much renaming and reorganization | changeset | files |
| Wed, 23 Sep 1998 10:17:11 +0200 | paulson | New directory Integ for the integers | changeset | files |
| Wed, 23 Sep 1998 10:15:09 +0200 | paulson | a few new theorems | changeset | files |
| Wed, 23 Sep 1998 10:12:01 +0200 | paulson | deleted needless parentheses | changeset | files |
| Wed, 23 Sep 1998 10:11:18 +0200 | paulson | tidying and deleting needless parentheses | changeset | files |
| Wed, 23 Sep 1998 10:03:32 +0200 | paulson | deleted needless parentheses | changeset | files |
| Tue, 22 Sep 1998 17:08:30 +0200 | wenzelm | tuned Isamode; | changeset | files |