diff options
-rw-r--r-- | txr.1 | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -24802,7 +24802,7 @@ of some other construct, hidden from the user of that construct. .coNP Operator @ tree-case .synb -.mets (tree-case < expr >> {( macro-style-params << form *)}*) +.mets (tree-case < expr >> {( macro-style-params << form *)}*) .syne .desc The @@ -24913,7 +24913,7 @@ should be understood to be a globally unique symbol: .coNP Macro @ tc .synb -.mets (tc >> {( macro-style-params << form *)}*) +.mets (tc >> {( macro-style-params << form *)}*) .syne .desc The |