Skip to content
GitLab
Explore
Sign in
Software
ModuresErl
Repository
modureserl
dblib
Environments.v
Find file
Blame
History
Permalink
dblib: add lemmas subst_insert, lookup_lift
· 6444d7b7
Paul Wild
authored
Jun 10, 2016
6444d7b7