diff options
| author | Josh Chen | 2019-02-11 15:37:18 +0100 |
|---|---|---|
| committer | Josh Chen | 2019-02-11 15:37:18 +0100 |
| commit | a5692e0ba36b372b9175d7b356f4b2fd1ee3d663 (patch) | |
| tree | fbd980759d3442c21f3859cd07669b1f6db59c71 /ex/Book/Ch1.thy | |
| parent | da8edcc1162044c33053ea64c4efbd4910b6cec7 (diff) | |
Put typing functionality into a .thy and clean up antiquotations, which results in some reorganization of the theory import structure.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions