Thu, 15 Jul 1999 10:34:37 +0200 | paulson | more renaming of theorems from _nat to _int (corresponding to a function that | changeset | files |
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 |
Wed, 14 Jul 1999 13:32:21 +0200 | wenzelm | tuned; | changeset | files |
Wed, 14 Jul 1999 13:07:09 +0200 | wenzelm | tuned comments; | changeset | files |