Skip to content
GitLab
Explore
Sign in
Software
dnegmod
Repository
dnegmod
DNTrans.v
Find file
Blame
History
Permalink
fixed the coq8.6 issue
· e7d3a2cf
Ulrich
authored
Apr 11, 2017
e7d3a2cf