src/HOL/Nominal/Examples/Lambda_mu.thy

--- a/src/HOL/Nominal/Examples/Lambda_mu.thy	Fri Apr 28 17:58:33 2006 +0200
+++ b/src/HOL/Nominal/Examples/Lambda_mu.thy	Fri Apr 28 17:59:06 2006 +0200
@@ -1,7 +1,7 @@
 (* $Id$ *)
 
-theory lambda_mu 
-imports "../nominal" 
+theory Lambda_mu 
+imports "../Nominal" 
 begin
 
 section {* Lambda-Mu according to a paper by Gavin Bierman *}
@@ -14,3 +14,4 @@
                      | Pss  "mvar" "trm"
                      | Act  "\<guillemotleft>mvar\<guillemotright>trm"  ("Act [_]._" [100,100] 100)
 
+end