| changeset 19496 | 79dbe35c6cba |
| parent 19218 | 47b05ebe106b |
| child 19564 | d3e2f532459a |
--- a/src/HOL/Nominal/Examples/SN.thy Fri Apr 28 15:55:38 2006 +0200 +++ b/src/HOL/Nominal/Examples/SN.thy Fri Apr 28 15:58:30 2006 +0200 @@ -1,7 +1,7 @@ (* $Id$ *) -theory sn -imports lam_substs Accessible_Part +theory SN +imports Lam_substs Accessible_Part begin text {* Strong Normalisation proof from the Proofs and Types book *}