Replace 'term' with 'closed term' at various points in the quotient model construction

OpenLogicProject / OpenLogic

An open-source, customizable intermediate logic textbook

http://openlogicproject.org/

Creative Commons Attribution 4.0 International

1.08k stars 242 forks source link

Closed beastaugh closed 11 months ago

beastaugh commented 11 months ago

Just for the avoidance of ambiguity, this commit replaces various uses of 'term' with 'closed term' when the latter is required.

rzach commented 11 months ago

Thanks!