diff options
| author |  Jason Gross <jasongross9@gmail.com> | 2016-07-19 18:25:20 +0200 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2016-07-19 18:25:20 +0200 |
| commit | 51602bd1ccf7493e53f78afa958238cad14571f2 (patch) | |
| tree | 1a51ab17bd53dd51f9e983e48cb792d0eee1336c /etc/coq-scripts | |
| parent | 34246fa38df7b039f046d3851e923283dd07896a (diff) | |
Use update_nth in add_to_nth (#26)
It leads to a slightly more transparent and clearer definition.
If I got everything right, nothing should depend on the judgmental
definition of [add_to_nth] anymore.
Diffstat (limited to 'etc/coq-scripts')
0 files changed, 0 insertions, 0 deletions