# HG changeset patch
# User berghofe
# Date 1146239946 -7200
# Node ID 9afa7183dfc207db71c35bd5715366f781aa24ee
# Parent  188d4e44c1a626fa2a941cd2b486c3256f2370ab
Capitalized theory names.

diff -r 188d4e44c1a6 -r 9afa7183dfc2 src/HOL/Nominal/Examples/Fsub.thy
--- a/src/HOL/Nominal/Examples/Fsub.thy	Fri Apr 28 17:58:33 2006 +0200
+++ b/src/HOL/Nominal/Examples/Fsub.thy	Fri Apr 28 17:59:06 2006 +0200
@@ -1,8 +1,8 @@
 (* $Id$ *)
 
 (*<*)
-theory fsub
-imports "../nominal" 
+theory Fsub
+imports "../Nominal" 
 begin
 (*>*)
 
diff -r 188d4e44c1a6 -r 9afa7183dfc2 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