--- a/Nominal/Ex/Weakening.thy	Thu Jan 06 13:31:44 2011 +0000
+++ b/Nominal/Ex/Weakening.thy	Thu Jan 06 14:02:10 2011 +0000
@@ -1,4 +1,4 @@
-theory Lambda
+theory Weakening
 imports "../Nominal2" 
 begin