diff options
| author |  Jason Gross <jasongross9@gmail.com> | 2016-09-19 12:04:56 -0700 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2016-09-19 12:04:56 -0700 |
| commit | 8e448c450e98a99f074599f0ffe8f1b48db2df14 (patch) | |
| tree | d7db90c4b3193c3a915d954f9bb374c9213bdedd /Makefile | |
| parent | b6b4e91f9c957b5febc8c18de5228852758bede5 (diff) | |
Change [Let ... in ...] to [dlet ... in ...] (#67)
For "definition". This fixes #65; [Let] conflicts with the vernacular
[Let] in Coq 8.4.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions