| Fri, 03 Sep 1999 14:22:12 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 03 Sep 1999 14:21:59 +0200 | wenzelm | from hyp; | changeset | files |
| Fri, 03 Sep 1999 13:55:46 +0200 | wenzelm | added no_qed; | changeset | files |
| Fri, 03 Sep 1999 10:14:28 +0200 | paulson | new theorem fun_upd_upd | changeset | files |
| Fri, 03 Sep 1999 10:12:42 +0200 | paulson | new SVC url | changeset | files |
| Thu, 02 Sep 1999 15:25:19 +0200 | wenzelm | renamed NatSum to Summation; | changeset | files |
| Thu, 02 Sep 1999 15:24:56 +0200 | wenzelm | tidied; | changeset | files |