diff options
-rw-r--r-- | txr.1 | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -29896,7 +29896,7 @@ In other words, the following equivalence holds: .coNP Macro @ suspend .synb -.synb (suspend < block-name < var-name << body-form *) +.mets (suspend < block-name < var-name << body-form *) .syne .desc The |