darcs-mirror-agda-free-groups.git
6 years agoShow Universal Property master
Joachim Breitner [Tue, 11 Sep 2012 15:19:58 +0000 (15:19 +0000)]
Show Universal Property

7 years agoCleanup
Joachim Breitner [Mon, 7 May 2012 14:08:07 +0000 (14:08 +0000)]
Cleanup

7 years agoInitial check-in
Joachim Breitner [Mon, 7 May 2012 13:23:34 +0000 (13:23 +0000)]
Initial check-in