GitHub - nomeata/afp-Free-Groups: Sources for https://afp.theoremproving.org/entries/free-groups/

Name		Name	Last commit message	Last commit date
Latest commit History 44 Commits
document		document
C2.thy		C2.thy
Cancelation.thy		Cancelation.thy
FreeGroups.thy		FreeGroups.thy
Generators.thy		Generators.thy
Isomorphisms.thy		Isomorphisms.thy
PingPongLemma.thy		PingPongLemma.thy
UnitGroup.thy		UnitGroup.thy