--- a/Nominal/Ex/Classical.thy	Sun Aug 29 12:17:25 2010 +0800
+++ b/Nominal/Ex/Classical.thy	Sun Aug 29 13:36:03 2010 +0800
@@ -1,5 +1,5 @@
 theory Classical
-imports "../NewParser"
+imports "../Nominal2"
 begin
 
 (* example from my Urban's PhD *)