Error in Example

Example 76.1. is supposed to show an application of the onepoint rule. However, the proof is closed with a qnt_simplify rule (which is not supposed to close a subproof.

assigned to @hjsc

The anchor's argument in that example are also still in the outdated notation with a variable and not a sorted variable.

mentioned in commit 74c14093

Done, thanks.

closed