Skip to content
GitLab
Explore
Sign in
Register
isa-afp
afp-2020
Repository
afp-2020
thys
FeatherweightJava
FJDefs.thy
Find file
Blame
History
Permalink
avoid undeclared variables within proofs;
· 5bfe01fd7168
makarius
authored
May 17, 2008
5bfe01fd7168