Update pending-documentation.md: side conditions are supported for smt-lemma rules
@@ -1149,8 +1149,8 @@ simplified similarly to a `function`.
These attributes guide the prover when it tries to apply rules to discharge a
proof obligation.
-- `smt-lemma` can be applied to a rule _without_ side-conditions to encode
- that rule as an equality when sending queries to Z3.
+- `smt-lemma` can be applied to a rule to encode it as an equality when
+ sending queries to Z3.
- `lemma` distinguishes normal rules from lemma rules in the semantics, but
has no affect.
- `trusted` instructs the prover that it should not attempt proving a given
