Skip to content
GitLab
Explore
Sign in
Register
isa-afp
afp-2020
Repository
afp-2020
thys
Fermat3_4
IntNatAux.thy
Find file
Blame
History
Permalink
avoid implicit prems;
· 448fe34b0109
makarius
authored
Nov 08, 2007
tuned proofs;
448fe34b0109