2 commits

Author	SHA1	Message	Date
Jeremy Avigad	4050892889	refactor(library/*): rename 'compose' to 'comp'	2016-03-02 22:48:05 -05:00
Daniel Selsam	292f28e769	test(tests/lean/run/blast_tuple): more tests for blast + tuple	2016-01-11 17:37:44 -08:00