# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1295456090 -3600
# Node ID 0e4c5fa26fa1676b2c543d88e3bd6b422f75a7a6
# Parent  cd5614027c53237ce700c3040416b10010f26155
theory name as it should be

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