
diff -r 3d04b87ad8ba -r 79dbe35c6cba src/HOL/Nominal/Examples/CR.thy
--- a/src/HOL/Nominal/Examples/CR.thy	Fri Apr 28 15:55:38 2006 +0200
+++ b/src/HOL/Nominal/Examples/CR.thy	Fri Apr 28 15:58:30 2006 +0200
@@ -1,7 +1,7 @@
 (* $Id$ *)
 
 theory CR
-imports lam_substs
+imports Lam_substs
 begin
 
 text {* The Church-Rosser proof from Barendregt's book *}




