src/HOL/Factorial.thy
2017-05-12 haftmann 2017-05-12 relaxed theory dependencies
2017-05-12 haftmann 2017-05-12 explicit theory for factorials