Skip to content
GitLab
Explore
Sign in
Register
isa-afp
afp-2020
Repository
afp-2020
thys
Affine_Arithmetic
Affine_Approximation.thy
Find file
Blame
History
Permalink
standardized towards new-style formal comments: isabelle update_comments from...
· 4e9be8238696
wenzelm
authored
Jan 16, 2018
standardized towards new-style formal comments: isabelle update_comments from Isabelle/f075640b8868;
4e9be8238696