
diff -r 2f47291b6ff9 -r 9ffee4eb1ae1 Nominal/Ex/Lambda.thy
--- a/Nominal/Ex/Lambda.thy	Sun Aug 29 12:17:25 2010 +0800
+++ b/Nominal/Ex/Lambda.thy	Sun Aug 29 13:36:03 2010 +0800
@@ -1,5 +1,5 @@
 theory Lambda
-imports "../NewParser" 
+imports "../Nominal2" 
 begin
 
 atom_decl name




