| 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 |
| Mon, 12 Jun 2006 21:19:05 +0200 | wenzelm | tuned interfaces; | changeset | files |
| Mon, 12 Jun 2006 21:19:04 +0200 | wenzelm | added matchers, matches_list; | changeset | files |
| Mon, 12 Jun 2006 21:19:03 +0200 | wenzelm | removed matches_seq -- didn't quite work; | changeset | files |
| Mon, 12 Jun 2006 21:19:02 +0200 | wenzelm | Unify.matches_list; | changeset | files |
| Mon, 12 Jun 2006 21:19:00 +0200 | wenzelm | tuned Seq/Envir/Unify interfaces; | changeset | files |
| Mon, 12 Jun 2006 21:18:10 +0200 | wenzelm | fixed subst step; | changeset | files |