# HG changeset patch
# User wenzelm
# Date 1222863426 -7200
# Node ID 31a59d7d2168770bfe88a1ac48c07c5a7120f439
# Parent  df77ed974a789430242cfc50c153bbcd3f0486f5
tuned comments;

diff -r df77ed974a78 -r 31a59d7d2168 src/Pure/logic.ML
--- a/src/Pure/logic.ML	Wed Oct 01 13:33:54 2008 +0200
+++ b/src/Pure/logic.ML	Wed Oct 01 14:17:06 2008 +0200
@@ -269,7 +269,7 @@
 
 
 
-  (** protected propositions and embedded terms **)
+(** protected propositions and embedded terms **)
 
 val protectC = Const ("prop", propT --> propT);
 fun protect t = protectC $ t;