diff -r 890b25753bf7 -r 54a58904a598 src/HOL/Tools/prop_logic.ML
--- a/src/HOL/Tools/prop_logic.ML	Sat Jan 08 14:32:55 2011 +0100
+++ b/src/HOL/Tools/prop_logic.ML	Sat Jan 08 16:01:51 2011 +0100
@@ -42,7 +42,7 @@
   val term_of_prop_formula: prop_formula -> term
 end;
 
-structure PropLogic : PROP_LOGIC =
+structure Prop_Logic : PROP_LOGIC =
 struct
 
 (* ------------------------------------------------------------------------- *)