diff options
| author | Josh Chen | 2019-02-23 01:42:18 +0100 |
|---|---|---|
| committer | Josh Chen | 2019-02-23 01:42:18 +0100 |
| commit | ce2f78d04b78f7179729a1f5c792b1dc2ff3e1a8 (patch) | |
| tree | 89f5d3fd4fcdaceeae7083b1926b123b83c11cd2 /Sum.thy | |
| parent | 57d183c7955fb54b3eb6dd431f5aec338131266b (diff) | |
rewrite associativity proof
Diffstat (limited to 'Sum.thy')
0 files changed, 0 insertions, 0 deletions