GitHub - Shweta-tkcs/Groupabelle

Name		Name	Last commit message	Last commit date
Latest commit History 83 Commits
Free Group		Free Group
Aabid_Iter_Reduce.thy		Aabid_Iter_Reduce.thy
Aabid_ProgProv_Exercises2.thy		Aabid_ProgProv_Exercises2.thy
Aabid_Relation.thy		Aabid_Relation.thy
Aabid_Relation.thy~		Aabid_Relation.thy~
FreeGroup.thy		FreeGroup.thy
Free_Group.thy		Free_Group.thy
Generators.thy		Generators.thy
Shweta_Cyclic_Reduction.thy		Shweta_Cyclic_Reduction.thy
Shweta_Exercises_Ch2.thy		Shweta_Exercises_Ch2.thy
Shweta_FreeGroup.thy		Shweta_FreeGroup.thy
UniversalProperty.thy		UniversalProperty.thy
append_lemmas.thy		append_lemmas.thy
cancel_at_lemmas.thy		cancel_at_lemmas.thy
cancel_at_props.thy		cancel_at_props.thy
group_class.thy		group_class.thy
group_librarydef.thy		group_librarydef.thy
locale_trail.thy		locale_trail.thy