[ new ] Interleaving of Lists#529

Merged

MatthewDaggitt merged 12 commits intomasterfrom

Dec 24, 2018

Commits on Sep 17, 2018

[ re #466 ] Preliminary results for Interleaving
gallais
committed

Commits on Oct 1, 2018

[ new ] disjoint, map, setoid-based properties
gallais
committed

Commits on Nov 12, 2018

Commits on Nov 13, 2018

Commits on Nov 25, 2018

Merge branch 'master' into interleaving
gallais
authored

Commits on Nov 29, 2018

Commits on Nov 30, 2018

[ more ] filter gives a split
gallais
committed

Commits on Dec 7, 2018

Merge branch 'master' into interleaving
MatthewDaggitt
committed