diff options
author | 2014-10-22 10:55:52 +0200 | |
---|---|---|
committer | 2014-10-22 13:44:57 +0200 | |
commit | d856e6ea6366e148b9b215fc1ef9631c1da07320 (patch) | |
tree | 7ea6b798e5eae3e7bdeb7959f90677baed703b9e /theories | |
parent | 2592ea6490cdf799432260c99a934605a2739849 (diff) |
CHANGES: makes explicit the incompatibily introduced by the use of Ltac-defined names in term binders.
Closes #3747.
Diffstat (limited to 'theories')
0 files changed, 0 insertions, 0 deletions