| Mon, 20 Jun 2005 15:54:39 +0200 | paulson | fixed a faulty proof | changeset | files |
| Mon, 20 Jun 2005 15:54:22 +0200 | paulson | moving some generic inequalities from integer arith to nat arith | changeset | files |
| Mon, 20 Jun 2005 11:45:40 +0200 | haftmann | (moved to Distribution/lib/scripts) | changeset | files |
| Mon, 20 Jun 2005 11:30:44 +0200 | haftmann | added fixheaders | changeset | files |
| Sun, 19 Jun 2005 00:07:41 +0200 | wenzelm | improved comment; | changeset | files |
| Sun, 19 Jun 2005 00:02:06 +0200 | wenzelm | some minor adaptions to make it work again; | changeset | files |
| Sat, 18 Jun 2005 22:57:23 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 18 Jun 2005 22:47:44 +0200 | wenzelm | tuned remove; | changeset | files |