src/HOL/Number_Theory/Factorial_Ring.thy
2016-03-03 haftmann 2016-03-03 constructive formulation of factorization
2016-02-18 haftmann 2016-02-18 more theorems
2016-02-17 haftmann 2016-02-17 dropped various legacy fact bindings
2015-07-27 haftmann 2015-07-27 formal class for factorial (semi)rings