Skip to content
GitLab
Explore
Sign in
Register
isa-afp
afp-2019
Repository
afp-2019
thys
Nominal2
README
Find file
Blame
History
Permalink
added Nominal2 session temporarily; expected to be merged into Isabelle
· 2c497230e04c
kleing
authored
Feb 21, 2013
2c497230e04c