--- a/Slides/Slides3.thy	Fri Sep 06 10:06:41 2013 +0100
+++ b/Slides/Slides3.thy	Sun Oct 13 23:09:21 2013 +0200
@@ -1,6 +1,6 @@
 (*<*)
 theory Slides3
-imports "~~/src/HOL/Library/LaTeXsugar" "Nominal"
+imports "~~/src/HOL/Library/LaTeXsugar" "../Nominal/Nominal2"
 begin
 
 declare [[show_question_marks = false]]