Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merged
  2. added lemmas
Changeset 66312:9a4c049f8997 by nipkow:
merged
Changeset 66311:037aaa0b6daf by nipkow:
added lemmas
The file was modified src/HOL/Binomial.thy (diff)
The file was modified src/HOL/Computational_Algebra/Formal_Power_Series.thy (diff)
The file was modified src/HOL/Groups_List.thy (diff)
The file was modified src/HOL/Proofs/Lambda/ListApplication.thy (diff)