moved generic stuff from squiggleeq: fwd tactics and decision helpers#81

Merged

liyishuai merged 7 commits intocoq-community:masterfrom aa755:squiggleeq

Jan 16, 2020

+78

Commits on Jan 7, 2020

Commits on Jan 8, 2020

better naming
aa755
committed

Commits on Jan 15, 2020

Merge branch 'master' into squiggleeq
liyishuai
authored

Commits on Jan 16, 2020