diff options
| author |  Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2018-06-04 14:11:33 +0200 |
|---|---|---|
| committer | Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2018-06-04 14:11:33 +0200 |
| commit | 51555af3cccae1f73bfe97e4347a5c625c6d0ec6 (patch) | |
| tree | 393ec356983e72158e52916cb06f8767f1a49587 /proofs | |
| parent | 1757f89b6c61024bbe3aebd6b43c56df0d92f5eb (diff) | |
| parent | 7913b03ba5072efeb9f6ef009ce27cec8ff19cac (diff) | |
Merge PR #7216: Replace uses of Termops.dependent by more specific functions.
Diffstat (limited to 'proofs')
0 files changed, 0 insertions, 0 deletions