
diff -r 37337fd5e8a7 -r 65bdcc42badd Nominal/Ex/Test.thy
--- a/Nominal/Ex/Test.thy	Tue May 04 17:15:21 2010 +0200
+++ b/Nominal/Ex/Test.thy	Tue May 04 17:25:58 2010 +0200
@@ -1,5 +1,5 @@
 theory Test
-imports "../Parser"
+imports "../NewParser"
 begin
 
 (* This file contains only the examples that are not supposed to work yet. *)




