diff options
| author |  Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2016-03-03 23:52:15 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2016-03-04 11:13:29 +0100 |
| commit | 143bb68613bcb314e2feffd643f539fba9cd3912 (patch) | |
| tree | 380802541066fa50298a57a7fde44fd18198eb45 /theories/ZArith | |
| parent | ebaa67508ec9f59f95e5b68bfece6228e2024ce5 (diff) | |
Uniformizing the parsing of argument scopes in Ltac.
Diffstat (limited to 'theories/ZArith')
0 files changed, 0 insertions, 0 deletions