Skip to content
GitLab
Explore
Sign in
Register
isa-afp
afp-2020
Repository
afp-2020
thys
Example-Submission
ROOT
Find file
Blame
History
Permalink
simplified session specifications (cf. Isabelle/f8c1a5b9488f);
· 13576fe3c2c1
wenzelm
authored
Aug 08, 2012
13576fe3c2c1