diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2015-10-22 16:55:19 +0200 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2015-12-10 09:35:07 +0100 |
| commit | 57e66fa78559d76e492ea0f0f2d43086a2f457b6 (patch) | |
| tree | d7bcab11c7f8acaabd61fc2e02cfce85948fae21 /dev | |
| parent | e8d816c7c6278199bcc61111c6dd76012f84519e (diff) | |
More consistency in the letter used to represent terms.
+ adding type of the defined term in let-in.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions