Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. merged
  2. lemmas about sets and the enumerate operator
  3. yet another little lemma
  4. merged
  5. merged
  6. merged
  7. strengthened a lemma
  8. A new lemma about abstract Sum / Prod
Changeset 72096:6b5421bd0fc3 by paulson:
merged
Changeset 72095:cfb6c22a5636 by paulson _lp15@cam.ac.uk_:
lemmas about sets and the enumerate operator
The file was modified src/HOL/Finite_Set.thy
The file was modified src/HOL/Library/Infinite_Set.thy
The file was modified src/HOL/List.thy
Changeset 72094:beccb2a0410f by paulson _lp15@cam.ac.uk_:
yet another little lemma
The file was modified src/HOL/Groups_Big.thy
Changeset 72093:6a2f43901350 by paulson:
merged
Changeset 72092:3f8e6c0166ac by paulson:
merged
Changeset 72091:b6065cbbf5e2 by paulson:
merged
Changeset 72090:5d17e7a0825a by paulson _lp15@cam.ac.uk_:
strengthened a lemma
The file was modified src/HOL/Library/Infinite_Set.thy
Changeset 72089:8348bba699e6 by paulson _lp15@cam.ac.uk_:
A new lemma about abstract Sum / Prod
The file was modified src/HOL/Groups_Big.thy