Skip to content
GitLab
Explore
Sign in
Register
isa-afp
afp-2020
Repository
afp-2020
thys
Example-Submission
ROOT.ML
Find file
Blame
History
Permalink
modernized theory names;
· bf9b4a59049e
wenzelm
authored
Jan 29, 2011
bf9b4a59049e