diff options
| author | Josh Chen | 2019-02-10 02:59:30 +0100 |
|---|---|---|
| committer | Josh Chen | 2019-02-10 02:59:30 +0100 |
| commit | afef9e63cb11267dc69b714a8b76415d75e2dd37 (patch) | |
| tree | 71f3786b5731bea711bab1ef6ee70e32d2928745 /ex/Book/Ch1.thy | |
| parent | 964aa49e57cc49e4d3a89e1e3ab57431922aff55 (diff) | |
Type information storage functionality (assume_type, assume_types keywords) done! Inference and pretty-printing for function composition done.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions