diff options
| author | Hugo Herbelin | 2020-09-13 17:45:10 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2020-09-29 22:24:02 +0200 |
| commit | bee9998b0cde3c86888fcad8c0dccbeebb351032 (patch) | |
| tree | 431b9b2d8b772f16651ba93a63a96424a93add7c /proofs | |
| parent | a34e213db5c45f0637c4ebf70b84d8020d38000d (diff) | |
Adding a few tacticals for the purpose of porting funind to new proof engine.
Diffstat (limited to 'proofs')
0 files changed, 0 insertions, 0 deletions