4 commits

Author	SHA1	Message	Date
Floris van Doorn	ed7de51d02	move basic lemmas from the spectral repository to the main repository	2017-06-02 12:15:31 -04:00
Floris van Doorn	9a3eed11bb	move some stuff to more appropriate places (before big move to HoTT library)	2017-05-26 17:32:42 -04:00
Floris van Doorn	3cd846a757	checkpoint, smash susp	2017-03-30 17:05:32 -04:00
Floris van Doorn	773e9f9a2e	susp and other things	2017-03-30 17:00:15 -04:00