src/HOL/Factorial.thy
23 months ago haftmann 2017-10-08 abolished (semi)ring_div in favour of euclidean_(semi)ring_cancel
2017-09-01 wenzelm 2017-09-01 tuned headers;
2017-08-11 eberlm 2017-08-11 Some facts about orders of zeros
2017-05-12 haftmann 2017-05-12 relaxed theory dependencies
2017-05-12 haftmann 2017-05-12 explicit theory for factorials