| 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 |
| Mon, 12 Jun 2006 20:58:25 +0200 | wenzelm | avoid accidental binding of ?Jmp; | changeset | files |
| Mon, 12 Jun 2006 20:32:33 +0200 | urbanc | added lemma fresh_unit to Nominal.thy | changeset | files |