diff options
| author | Hendrik Tews | 2021-03-25 23:02:32 +0100 |
|---|---|---|
| committer | Hendrik Tews | 2021-04-16 22:53:05 +0200 |
| commit | 560c6a27d0f082c596284d133fc8af4bc89a6f15 (patch) | |
| tree | 11de5c87a2b4a8001479de7babaae9a57d217a95 /coq/example-tokens.v | |
| parent | 05399b7129a77efcfa7f63d8112474cdab9398e0 (diff) | |
omit proofs: emit warning on nested proofs and continue
Diffstat (limited to 'coq/example-tokens.v')
0 files changed, 0 insertions, 0 deletions