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 /Sum.thy | |
parent | eaeb9d8c89620b688d8735eafa9bc28121e5f552 (diff) |
Proving theorems in Proj.thy in a simpler way with wellformed
Diffstat (limited to 'Sum.thy')
0 files changed, 0 insertions, 0 deletions