diff options
| author | Maxime Dénès | 2017-06-06 08:56:35 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2017-06-06 08:56:35 +0200 |
| commit | 98dc4f985f2ddd47b4d4d6afee901a0a2bb0bde0 (patch) | |
| tree | 9b8958585f6e593874f2deb789b2f01fb237637c /engine | |
| parent | 6e4d1ee9bb61601df041fe44eb60b4fa059080d5 (diff) | |
| parent | a07c0579a2d4b660b3b9996cd79bdf8e0f588949 (diff) | |
Merge PR#600: Some factorizations of ltac interpretation functions between ssreflect and coq code
Diffstat (limited to 'engine')
0 files changed, 0 insertions, 0 deletions