aboutsummaryrefslogtreecommitdiff
path: root/hott/More_Nat.thy
diff options
context:
space:
mode:
authorJosh Chen2020-07-17 11:06:19 +0200
committerJosh Chen2020-07-17 11:06:19 +0200
commitf510ca75c5b01528840a0331012ef10a5545012b (patch)
tree332da13943b76f78be75e00bc6cd1cbf978be8ef /hott/More_Nat.thy
parent877b9511e2ffbef518dbc92ac6a8ec98559f69f4 (diff)
fix path
Diffstat (limited to 'hott/More_Nat.thy')
0 files changed, 0 insertions, 0 deletions