diff options
| author | Thomas Bauereiss | 2018-02-16 20:04:17 +0000 |
|---|---|---|
| committer | Thomas Bauereiss | 2018-02-16 20:04:17 +0000 |
| commit | 6bd490a9a3570fbb6f8a5979aaf4cd3ada3131d1 (patch) | |
| tree | 8eba710a5ade024e695b3062bafe8d2c15ba12fc /etc | |
| parent | 18767e96381dc5fdd5a88fc18a355b5f67433021 (diff) | |
Avoid nested explicit type annotations
Isabelle does not like nested annotations like "((exp :: typ) :: typ)".
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions