src/Pure/logic.ML
changeset 28448 31a59d7d2168
parent 27334 3f17273766f2
child 28856 5e009a80fe6d
     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;