src/HOL/Factorial.thy
20 months ago haftmann 2017-10-08 abolished (semi)ring_div in favour of euclidean_(semi)ring_cancel
21 months ago wenzelm 2017-09-01 tuned headers;
22 months ago 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