diff options
| author | Matej Kosik | 2017-02-02 14:35:51 +0100 |
|---|---|---|
| committer | Matej Košík | 2017-04-20 13:11:50 +0200 |
| commit | 207ec95b8bda34e4c905e07a1ec6462c5fdefdb0 (patch) | |
| tree | 749f2d1cddbd0c19937b86b70694ffa02694789d /engine/proofview.ml | |
| parent | dda06512833eea2805a8406b407494014371b2be (diff) | |
simplifying "Environ.push_named" function
Diffstat (limited to 'engine/proofview.ml')
0 files changed, 0 insertions, 0 deletions