| 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 |
| Mon, 12 Jun 2006 18:17:21 +0200 | berghofe | Added fresh_guess_tac. | changeset | files |
| Mon, 12 Jun 2006 18:15:45 +0200 | berghofe | Removed comments around declaration of fresh_guess method. | changeset | files |