| Tue, 13 Jun 2006 15:42:52 +0200 | dixon | corrected w.r.t. search order for subst. | changeset | files |
| Tue, 13 Jun 2006 15:42:19 +0200 | dixon | Corrected search order for zippers. | changeset | files |
| Tue, 13 Jun 2006 15:07:58 +0200 | paulson | new results | changeset | files |
| Tue, 13 Jun 2006 15:07:47 +0200 | paulson | removal of the obsolete "infinite_nonempty" | changeset | files |
| Mon, 12 Jun 2006 22:14:38 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 12 Jun 2006 21:19:07 +0200 | wenzelm | added declare_typ; | changeset | files |
| Mon, 12 Jun 2006 21:19:06 +0200 | wenzelm | tuned; | changeset | files |