diff options
| author | Pierre-Marie Pédrot | 2017-05-15 15:57:01 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2017-05-19 15:17:31 +0200 |
| commit | a16d9c10b874a38fd4901e7d946d975ad49592c5 (patch) | |
| tree | 4e328a16062cf93fb1b12c24e4e626738797547b /plugins | |
| parent | c341a00d916c27b75c79c2fdcce13e969772a990 (diff) | |
Introducing tactic notations in Ltac2.
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions