diff options
| author | Brian Campbell | 2019-02-28 17:04:31 +0000 |
|---|---|---|
| committer | Brian Campbell | 2019-02-28 17:16:10 +0000 |
| commit | 3e59f95ce23e24c5ccfa9e0475f0a3d4a070e318 (patch) | |
| tree | aa7de618b5fc3568a1e5b3a2277ce735407d893e /doc/introduction.tex | |
| parent | f86ce3508a9909032d1168091989b65a796314a6 (diff) | |
Coq: remove unused library definitions
Diffstat (limited to 'doc/introduction.tex')
0 files changed, 0 insertions, 0 deletions