git.nomeata.de Git - darcs-mirror-agda-free-groups.git/tree

projects / darcs-mirror-agda-free-groups.git / tree

summary | shortlog | log | commit | commitdiff | tree
snapshot

-rw-r--r--	5694	FreeGroups.agda	blob \| history \| raw
-rw-r--r--	5647	Generators.agda	blob \| history \| raw
-rw-r--r--	1345	GroupHom.agda	blob \| history \| raw
-rw-r--r--	2843	NormalForm.agda	blob \| history \| raw
-rw-r--r--	4942	UnivProp.agda	blob \| history \| raw

Mirror of http://darcs.nomeata.de/agda-free-groups