IHList: prove an equivalent list-based subset relation
IHList: prove an equivalent list-based subset relation

might be less annoying to deal with than NEListSubset directly..

mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl