Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. Resolved name clash
Changeset 63101:65f1d7829463 by manuel eberl _eberlm@in.tum.de_:
Resolved name clash
The file was modified src/HOL/Groups_List.thy (diff)
The file was modified src/HOL/Probability/Probability_Mass_Function.thy (diff)