Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more theorems
  2. abstract and concrete multiplicative groups
  3. more correct comment
Changeset 63365:5340fb6633d0 by haftmann:
more theorems
The file was modified src/HOL/Complete_Lattices.thy (diff)
The file was modified src/HOL/Finite_Set.thy (diff)
The file was modified src/HOL/Fun.thy (diff)
The file was modified src/HOL/Hilbert_Choice.thy (diff)
The file was modified src/HOL/List.thy (diff)
The file was modified src/HOL/MacLaurin.thy (diff)
The file was modified src/HOL/Multivariate_Analysis/Brouwer_Fixpoint.thy (diff)
The file was modified src/HOL/Series.thy (diff)
The file was modified src/HOL/Set.thy (diff)
The file was modified src/HOL/Set_Interval.thy (diff)
The file was modified src/HOL/Transcendental.thy (diff)
Changeset 63364:4fa441c2f20c by haftmann:
abstract and concrete multiplicative groups
The file was modified src/HOL/Groups.thy (diff)
Changeset 63363:bd483ddb17f2 by haftmann:
more correct comment
The file was modified src/HOL/Binomial.thy (diff)