diff options
| author | Josh Chen | 2018-06-28 11:20:53 +0200 |
|---|---|---|
| committer | Josh Chen | 2018-06-28 11:20:53 +0200 |
| commit | 62dd007c30b4cc6b0466b7ebc07d59b9be078fd1 (patch) | |
| tree | f001a8acd83bcc47b513a216dbb66f12101ba442 /ex | |
| parent | eaeb9d8c89620b688d8735eafa9bc28121e5f552 (diff) | |
Proving theorems in Proj.thy in a simpler way with wellformed
Diffstat (limited to 'ex')
0 files changed, 0 insertions, 0 deletions