diff options
| author | Peter Sewell | 2017-02-09 08:57:18 +0000 |
|---|---|---|
| committer | Peter Sewell | 2017-02-09 08:57:18 +0000 |
| commit | 517081c715f4541f4c6c516d2590a011fe00b1ef (patch) | |
| tree | 0e22314a632aa335476288e7ffc851d67d38a551 /language/l2_parse.ott | |
| parent | 4f1465acc8d9814e14755cd4c871846861d66a10 (diff) | |
tweak pp of initial type environment and l2.ott comments
Diffstat (limited to 'language/l2_parse.ott')
0 files changed, 0 insertions, 0 deletions