diff options
| author | Enrico Tassi | 2016-02-10 17:54:25 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2016-02-10 17:54:25 +0100 |
| commit | 22ab7fff908c259d6e433da246bebac519009905 (patch) | |
| tree | a300dc4558f270b3cdd156efd7d9338632ab29dd /kernel/nativecode.ml | |
| parent | 5f29a92c0648afd4d9e46de79ab00d0c4b901ff0 (diff) | |
STM: not delegate proofs that contain Vernac(Module|Require|Import), #4530
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions