diff options
| author | Josh Chen | 2021-04-17 17:41:06 +0100 |
|---|---|---|
| committer | Josh Chen | 2021-04-17 17:41:06 +0100 |
| commit | 092875d160a2d18c94bde41c6472e8031ab57313 (patch) | |
| tree | 94a8a08dcf264294fb6a128d1f32912c0d86f829 /hott/Propositions.thy | |
| parent | 3a34ca2b43fbd5725a7435dfafdb4cf179a8ec8b (diff) | |
Patch proof. Now works on Isabelle2021.
Diffstat (limited to 'hott/Propositions.thy')
0 files changed, 0 insertions, 0 deletions