| changeset 19564 | d3e2f532459a |
| parent 19496 | 79dbe35c6cba |
| child 19687 | 0a7c6d78ad6b |
--- a/src/HOL/Nominal/Examples/SN.thy Fri May 05 16:50:58 2006 +0200 +++ b/src/HOL/Nominal/Examples/SN.thy Fri May 05 17:17:21 2006 +0200 @@ -1,7 +1,7 @@ (* $Id$ *) theory SN -imports Lam_substs Accessible_Part +imports Lam_substs begin text {* Strong Normalisation proof from the Proofs and Types book *}