Wording fixes for machines-computations

OpenLogicProject / OpenLogic

An open-source, customizable intermediate logic textbook

http://openlogicproject.org/

Creative Commons Attribution 4.0 International

1.06k stars 240 forks source link

Closed Pi-Cla closed 2 years ago

Pi-Cla commented 2 years ago

Do tell me if I messed up rewording prop:disciplined; I think this is all good.

rzach commented 2 years ago

Thanks!