diff -r 51f75d24bd73 -r 5e95387bef45 Nominal/Ex/LamFun.thy
--- 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