[Initial import: Algebra of Programming, in Coq
Matthieu Sozeau <mattam@mattam.org>**20080719130006] 
[Some doc
Matthieu Sozeau <mattam@mattam.org>**20080719131707] 
[Typo
Matthieu Sozeau <mattam@mattam.org>**20080719132200]