diff options
| author |  Jason Gross <jgross@mit.edu> | 2016-11-11 14:18:42 -0500 |
|---|---|---|
| committer |  Jason Gross <jasongross9@gmail.com> | 2016-11-11 14:45:17 -0500 |
| commit | 1f000d19cfd38f3caf942b606203b6740fbcf768 (patch) | |
| tree | db02f1563b2225235a1666fef8f422b81060ebf9 /src/Experiments | |
| parent | 1ce3512d0e1b6761868b1c6234424cbb82a65d22 (diff) | |
Fix for Coq 8.4
Tactic notations in sections are automatically local
Diffstat (limited to 'src/Experiments')
0 files changed, 0 insertions, 0 deletions