Diff — Second-order logic

Revision #3060 → #3468 · back to history

No annotation changes between these revisions.