diff options
author | amblaf <you@example.com> | 2017-06-15 11:34:40 +0200 |
---|---|---|
committer | amblaf <you@example.com> | 2017-07-31 10:34:00 +0200 |
commit | 7a56397ae26854df6335a3325353d0a5d6c894ea (patch) | |
tree | 76b60550d291123d47497196e963dff7e2589498 /theories/Init/Tauto.v | |
parent | 17f37f42792b3150fcebb6236b9896845957b89d (diff) |
Remove references to Global.env in tactics/*.ml
Only in ml files that are not related to Coq commands
Diffstat (limited to 'theories/Init/Tauto.v')
0 files changed, 0 insertions, 0 deletions