| changeset 28448 | 31a59d7d2168 |
| parent 27334 | 3f17273766f2 |
| child 28856 | 5e009a80fe6d |
--- 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;