The project has been moved here: https://github.com/coq-community/lemma-overloading I'm keeping it here because it contains an alternative implementation of indom lemma

Name
Last commit
Last update
.gitignore Loading commit data...
Make Loading commit data...
Makefile Loading commit data...
README Loading commit data...
_CoqProject Loading commit data...
auto.v Loading commit data...
cancel.v Loading commit data...
cancel2.v Loading commit data...
cancelCTC.v Loading commit data...
cancelD.v Loading commit data...
domains.v Loading commit data...
finmap.v Loading commit data...
heaps.v Loading commit data...
hprop.v Loading commit data...
indom.v Loading commit data...
indomCTC.v Loading commit data...
indom_alt.v Loading commit data...
llistR.v Loading commit data...
noalias.v Loading commit data...
noaliasBT.v Loading commit data...
noaliasCTC.v Loading commit data...
ordtype.v Loading commit data...
perms.v Loading commit data...
prefix.v Loading commit data...
prelude.v Loading commit data...
rels.v Loading commit data...
stlog.v Loading commit data...
stlogCTC.v Loading commit data...
stlogR.v Loading commit data...
stmod.v Loading commit data...
stsep.v Loading commit data...
terms.v Loading commit data...
xfind.v Loading commit data...
xfindCTC.v Loading commit data...