| 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 |
| 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 |