6.4.2 isn't using funext, close #640 #643

merged 2 commits into from Mar 9, 2014

2 participants


No description provided.

@andrejbauer andrejbauer merged commit 950efa9 into HoTT:master Mar 9, 2014

1 check passed

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