diff options
| author | amblaf | 2017-06-15 11:34:40 +0200 |
|---|---|---|
| committer | amblaf | 2017-07-31 10:34:00 +0200 |
| commit | 7a56397ae26854df6335a3325353d0a5d6c894ea (patch) | |
| tree | 76b60550d291123d47497196e963dff7e2589498 /doc/RecTutorial | |
| 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 'doc/RecTutorial')
0 files changed, 0 insertions, 0 deletions