Diff — Second-order logic

Revision #2738 → #3060 · back to history

No annotation changes between these revisions.