diff options
| author | Emilio Jesus Gallego Arias | 2020-03-09 02:58:28 -0400 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-03-25 06:06:37 -0400 |
| commit | ec60835e6a41f368c1a91d4eac8c99e1853a2abc (patch) | |
| tree | cbf902750f89fa26bf32995c4e07cf9533a65cb6 /kernel | |
| parent | 8129fb2abce6ba2e5ddd1f384618bb2fb8f817b5 (diff) | |
[lemmas] Use direct-style for variable declaration.
Steps towards unification with `DeclareDef` API.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions