--- 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 *}