src/HOL/Factorial.thy
17 months ago paulson 2018-04-09 Syntax for the special cases Min(A`I) and Max (A`I)
20 months ago haftmann 2018-01-13 restored naming of lemmas after corresponding constants
20 months ago nipkow 2018-01-10 ran isabelle update_op on all sources
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