| Thu, 15 Jul 1999 10:34:00 +0200 | paulson | more renaming of theorems from _nat to _int (corresponding to a function that | changeset | files |
| Thu, 15 Jul 1999 10:33:16 +0200 | paulson | qed_goal -> Goal; new theorems nat_le_0, nat_le_eq_zle and zdiff_int | changeset | files |
| Thu, 15 Jul 1999 10:27:54 +0200 | paulson | qed_goal -> Goal | changeset | files |