Skip to content
GitLab
Explore
Sign in
Register
isa-afp
afp-devel
Repository
afp-devel
thys
Featherweight_OCL
document
formalization.tex
Find file
Blame
History
Permalink
eliminated old headers;
· 00d8089fa6ce
wenzelm
authored
Feb 28, 2015
more direct latex sections;
00d8089fa6ce