diff options
| author | Josh Chen | 2019-02-18 11:38:59 +0100 |
|---|---|---|
| committer | Josh Chen | 2019-02-18 11:38:59 +0100 |
| commit | f39f927579dfac2fc363d4eb9c4777c191143fb3 (patch) | |
| tree | f256b5eb3cab72d25af86a3e4c513505b4399859 /Sum.thy | |
| parent | 7f932806cf445db589c32429f396d6ccbc086476 (diff) | |
Partway through associativity proof. Lots to work on to make this more usable.
Diffstat (limited to 'Sum.thy')
0 files changed, 0 insertions, 0 deletions