src/HOL/Computational_Algebra/Computational_Algebra.thy
Wed, 09 Oct 2019 14:51:54 +0000 haftmann dedicated fact collections for algebraic simplification rules potentially splitting goals
Mon, 04 Feb 2019 17:19:04 +0100 Manuel Eberl Formal Laurent series and overhaul of Formal power series (due to Jeremy Sylvestre)
Fri, 08 Dec 2017 19:25:47 +0000 haftmann dedicated theory for group closure
less more (0) -3 tip