aboutsummaryrefslogtreecommitdiff
path: root/hott/Propositions.thy
diff options
context:
space:
mode:
authorJosh Chen2021-04-17 17:41:06 +0100
committerJosh Chen2021-04-17 17:41:06 +0100
commit092875d160a2d18c94bde41c6472e8031ab57313 (patch)
tree94a8a08dcf264294fb6a128d1f32912c0d86f829 /hott/Propositions.thy
parent3a34ca2b43fbd5725a7435dfafdb4cf179a8ec8b (diff)
Patch proof. Now works on Isabelle2021.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions