| Fri, 13 Oct 2006 15:01:34 +0200 | urbanc | added the missing freshness-lemmas for nat, int, char and string and | changeset | files |
| Fri, 13 Oct 2006 12:32:44 +0200 | haftmann | lifted claset setup from ML to Isar level | changeset | files |
| Fri, 13 Oct 2006 09:02:21 +0200 | haftmann | explicit nonfix for union and inter | changeset | files |
| Thu, 12 Oct 2006 22:57:45 +0200 | wenzelm | renamed enter_forward_proof to enter_proof_body; | changeset | files |