diff options
| author | Vincent Laporte | 2019-03-25 14:58:26 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2019-03-25 15:08:51 +0000 |
| commit | 4054b6bd7b3d1f5b48df9cc225fba889056c6614 (patch) | |
| tree | e4826eb6701cf3b98ce5f3a11a9b88f2b5c9c66e /dev | |
| parent | 5ddce9af360ff618f7edd202be334356ae6b4056 (diff) | |
[ssr] Use Coqlib in “abstract”
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions