Skip to content
GitLab
Explore
Sign in
Register
isa-afp
afp-devel
Repository
afp-devel
thys
Higher_Order_Terms
ROOT
Find file
Blame
History
Permalink
dissolve theory with duplicated name from afp
· 713ce6d3becb
haftmann
authored
Feb 28, 2021
713ce6d3becb