isabelle: Changelog

wenzelm [Mon, 12 Jun 2006 21:19:03 +0200] rev 19863

removed matches_seq -- didn't quite work;

wenzelm [Mon, 12 Jun 2006 21:19:02 +0200] rev 19862

Unify.matches_list;

wenzelm [Mon, 12 Jun 2006 21:19:00 +0200] rev 19861

tuned Seq/Envir/Unify interfaces;

wenzelm [Mon, 12 Jun 2006 21:18:10 +0200] rev 19860

fixed subst step;

wenzelm [Mon, 12 Jun 2006 20:58:25 +0200] rev 19859

avoid accidental binding of ?Jmp;

urbanc [Mon, 12 Jun 2006 20:32:33 +0200] rev 19858

added lemma fresh_unit to Nominal.thy made the fresh_guess tactic to solve more goals adapted Iteration.thy to use the new tactic

berghofe [Mon, 12 Jun 2006 18:17:21 +0200] rev 19857

Added fresh_guess_tac.

berghofe [Mon, 12 Jun 2006 18:15:45 +0200] rev 19856

Removed comments around declaration of fresh_guess method.

isabelle