src/HOL/Computational_Algebra/Computational_Algebra.thy
2017-04-06 haftmann 2017-04-06 session containing computational algebra