Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. explicit theory for factorials
  2. more lemmas
Changeset 65812:04ba6d530c87 by haftmann:
explicit theory for factorials
The file was addedsrc/HOL/Factorial.thy
The file was modified src/HOL/Binomial.thy (diff)
Changeset 65811:2653f1cd8775 by haftmann:
more lemmas
The file was modified src/HOL/Computational_Algebra/Polynomial.thy (diff)
The file was modified src/HOL/GCD.thy (diff)
The file was modified src/HOL/Rings.thy (diff)