Diff — First-order logic

Revision #1226 → #2328 · back to history

No annotation changes between these revisions.