fix: Change 'Variable' to 'local Parameter' - Githubissues

impermeable / coq-waterproof

GNU Lesser General Public License v3.0

29 stars 9 forks source link

fix: Change 'Variable' to 'local Parameter' #55

Closed jim-portegies closed 2 months ago

jim-portegies commented 2 months ago

Change 'Variable' to '#[local Parameter]' at multiple places.