aboutsummaryrefslogtreecommitdiff
path: root/scratch.thy
blob: f0514c3c983caa12ce6258722e44e2577df976f1 (plain) 
1
2
3
4
5
6
7
8
9

theory scratch
  imports HoTT
begin





end
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-17 20:55:45 +0000