description490bc6ff131d2d92bf570c758491a10943
last changeThu, 27 May 2010 15:55:21 +0000 (16:55 +0100)
shortlog
2010-05-27 Darin MorrisonDuality and stuff. master
2010-05-27 Iain LaneSet up for id₁ proof
2010-05-27 Iain LaneMixfix some calls in MonoidHomomorphism.agda
2010-05-27 Iain LaneUpdate gitignore to ignore some more emacs-generated...
2010-05-26 Joey CapperAdd .gitignore file
2010-05-26 Joey CapperSplit development up into separate files & add some...
2010-05-25 Iain LaneInitial import
heads
6 years ago nat-trans
6 years ago setoid
6 years ago master