diff -r cd5614027c53 -r 0e4c5fa26fa1 Tutorial/Minimal.thy
--- a/Tutorial/Minimal.thy	Wed Jan 19 17:54:06 2011 +0100
+++ b/Tutorial/Minimal.thy	Wed Jan 19 17:54:50 2011 +0100
@@ -1,5 +1,5 @@
 theory Minimal
-imports "../Nominal/Nominal2"
+imports "Nominal2"
 begin
 
 atom_decl name