kili 3ddb936eb2 Update to semigroupoids-1.3.4.		2012-09-02 21:55:13 +00:00
..
pkg
distinfo	Update to semigroupoids-1.3.4.	2012-09-02 21:55:13 +00:00
Makefile	Update to semigroupoids-1.3.4.	2012-09-02 21:55:13 +00:00