Skip to content
GitLab
Explore
Sign in
Software
dnegmod
Repository
dnegmod
DNTrans.v
Find file
Blame
History
Permalink
changed comment about the disjunction, box free and shallow remains
· c0e4dfe9
Miriam
authored
Oct 04, 2016
c0e4dfe9