--- a/Nominal/Ex/LamFun.thy	Thu Jan 06 14:53:38 2011 +0000
+++ b/Nominal/Ex/LamFun.thy	Thu Jan 06 19:57:57 2011 +0000
@@ -1,4 +1,4 @@
-theory Lambda
+theory LamFun
 imports "../Nominal2" Quotient_Option
 begin