Skip to content
GitLab
Explore
Sign in
Register
isa-afp
afp-2020
Repository
afp-2020
thys
ArrowImpossibilityGS
ROOT.ML
Find file
Blame
History
Permalink
eliminated hard tabs;
· b33c8ca637b3
wenzelm
authored
Jan 29, 2011
modernized imports; modernized specifications;
b33c8ca637b3