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