Skip to content
GitLab
Explore
Sign in
Burkhart Wolff
Isabelle_C
Repository
Isabelle_C
C11-BackEnds
AutoCorres_wrapper
examples
IsPrime_linear_CCT.thy
Find file
Blame
History
Permalink
updated copyright notices in order to avoid ambiguity.
· 0c6f9b54
bu
authored
May 28, 2020
0c6f9b54