| Wed, 13 Jul 2005 15:19:13 +0200 | paulson | auto update | changeset | files |
| Wed, 13 Jul 2005 15:06:20 +0200 | paulson | generlization of some "nat" theorems | changeset | files |
| Wed, 13 Jul 2005 15:06:04 +0200 | paulson | relevance filtering is now optional | changeset | files |
| Wed, 13 Jul 2005 15:05:48 +0200 | paulson | tidied | changeset | files |
| Wed, 13 Jul 2005 14:56:00 +0200 | wenzelm | fixed comment-out; | changeset | files |
| Wed, 13 Jul 2005 12:24:39 +0200 | obua | fix | changeset | files |
| Wed, 13 Jul 2005 12:14:23 +0200 | aspinall | Add management for current working directory | changeset | files |