Skip to content
GitLab
Explore
Sign in
Register
isa-afp
afp-2020
Repository
afp-2020
thys
Example-Submission
Submission.thy
Find file
Blame
History
Permalink
updated Example-Submisison to Isabelle 2014
· 88b722e9044c
kleing
authored
Oct 11, 2014
88b722e9044c