diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2017-05-16 09:13:01 +0200 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2017-05-16 09:13:01 +0200 |
| commit | 634448b8cc32f8141b779b1e40449411201cf897 (patch) | |
| tree | aa5c807e94cebece1e45900578e4aa009e6b6561 /pretyping/unification.ml | |
| parent | 3908fb1c6d68678daa65b4a2fa944424575acf87 (diff) | |
| parent | f1707b32c96931eb1c1d8153b8570234321153c2 (diff) | |
Merge PR#624: Switch bedrock to mit-plv base
Diffstat (limited to 'pretyping/unification.ml')
0 files changed, 0 insertions, 0 deletions