diff options
| author | Josh Chen | 2019-02-05 18:34:48 +0100 |
|---|---|---|
| committer | Josh Chen | 2019-02-05 18:34:48 +0100 |
| commit | 964aa49e57cc49e4d3a89e1e3ab57431922aff55 (patch) | |
| tree | 29ac40a2e088c9c6115f31c21149aa40a4d2191e /ex/Book/Ch1.thy | |
| parent | 36c7898ef2118a54d177dc3647630ece510c7bfa (diff) | |
| parent | 64d2a5c60acce40113362c9d7eca8cd633362d23 (diff) | |
Merge branch '2019': beginning type inference automation.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions