src/HOL/Factorial.thy
22 months ago wenzelm 2017-09-01 tuned headers;
23 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