Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. re-established AFP entry for FinFuns as library
  2. clarified comment
Changeset 65050:4538153bcc5c by haftmann:
re-established AFP entry for FinFuns as library
The file was modified NEWS (diff)
The file was modified src/HOL/Library/Library.thy (diff)
The file was modified src/HOL/ROOT (diff)
The file was removedsrc/HOL/Library/FinFun.thy
The file was removedsrc/HOL/ex/FinFunPred.thy
Changeset 65049:928156a95e1a by haftmann:
clarified comment
The file was modified src/HOL/Tools/Nitpick/nitpick_hol.ML (diff)