Summary
- dedicated theory for group closure
The file was added | src/HOL/Computational_Algebra/Group_Closure.thy |
The file was modified | src/HOL/Computational_Algebra/Computational_Algebra.thy (diff) |
The file was added | src/HOL/Computational_Algebra/Group_Closure.thy |
The file was modified | src/HOL/Computational_Algebra/Computational_Algebra.thy (diff) |