Diff — First-order logic

Revision #2328 → #2433 · back to history

No annotation changes between these revisions.