diff options
| author | Josh Chen | 2019-02-04 11:53:47 +0100 |
|---|---|---|
| committer | Josh Chen | 2019-02-04 11:53:47 +0100 |
| commit | 7a7e27f4a1efd69e9ab43b95d3c7ead61a743e55 (patch) | |
| tree | 4ba31e925491f24c7fd23d59f6f3f74731b7a8e6 /Sum.thy | |
| parent | 07d312b312c3058551353bcf403a1dc7c7c83311 (diff) | |
1. Change syntax to rely less on unicode/control symbols.
2. Begin work on object-level type inference and input syntax help.
Diffstat (limited to 'Sum.thy')
0 files changed, 0 insertions, 0 deletions