diff options
| author | Hugo Herbelin | 2020-08-22 00:43:28 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2020-11-16 11:45:32 +0100 |
| commit | 6f31beeaaaf99306d206964e1bd3e966b0475023 (patch) | |
| tree | a5cb6e5c4cdb47387a01800a925665d2e3ec1ff1 /pretyping | |
| parent | a8b25255a5e918ed0d8dfcc8529dcd2ec27f721b (diff) | |
Overlay for Coq-Equations.
Diffstat (limited to 'pretyping')
0 files changed, 0 insertions, 0 deletions