Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Merged natlog2 into Discrete.log
Changeset 64449:8c44dfb4ca8a by eberlm _eberlm@in.tum.de_:
Merged natlog2 into Discrete.log
The file was modified src/HOL/Analysis/Summation_Tests.thy (diff)
The file was modified src/HOL/Library/Discrete.thy (diff)