close #638 #644

Merged
merged 2 commits into from Mar 9, 2014

Projects

None yet

2 participants

Contributor

No description provided.

@andrejbauer andrejbauer merged commit 1bd8602 into HoTT:master Mar 9, 2014

1 check passed

default The Travis CI build passed
Details
@mikeshulman mikeshulman deleted the mikeshulman:thm2.11.3 branch Mar 9, 2014
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment