tuned comments;
authorwenzelm
Wed Oct 01 14:17:06 2008 +0200 (2008-10-01)
changeset 2844831a59d7d2168
parent 28447 df77ed974a78
child 28449 b6c57eb0fc39
tuned comments;
src/Pure/logic.ML
     1.1 --- a/src/Pure/logic.ML	Wed Oct 01 13:33:54 2008 +0200
     1.2 +++ b/src/Pure/logic.ML	Wed Oct 01 14:17:06 2008 +0200
     1.3 @@ -269,7 +269,7 @@
     1.4  
     1.5  
     1.6  
     1.7 -  (** protected propositions and embedded terms **)
     1.8 +(** protected propositions and embedded terms **)
     1.9  
    1.10  val protectC = Const ("prop", propT --> propT);
    1.11  fun protect t = protectC $ t;