Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. merged
  3. A couple of basic lemmas about arg
  4. multiset as equivalence class of permuted lists
  5. emphasize connection to multisets
  6. proper "latest" tag, otherwise the default pull command from https://hub.docker.com/r/makarius/isabelle won't work;
Changeset 73304:6cd53ec2e32e by paulson:
merged
Changeset 73303:bd61e9477d82 by paulson:
merged
Changeset 73302:915b3d41dec1 by paulson _lp15@cam.ac.uk_:
A couple of basic lemmas about arg
The file was modified src/HOL/Complex.thy (diff)
Changeset 73301:bfe92e4f6ea4 by haftmann:
multiset as equivalence class of permuted lists
The file was modified src/HOL/Library/List_Permutation.thy (diff)
The file was modified src/HOL/Library/Multiset.thy (diff)
The file was modified src/HOL/List.thy (diff)
Changeset 73300:c52c5a5bf4e6 by haftmann:
emphasize connection to multisets
The file was modified src/HOL/Library/List_Permutation.thy (diff)
Changeset 73299:43ce3b8a25ee by wenzelm:
proper "latest" tag, otherwise the default pull command from https://hub.docker.com/r/makarius/isabelle won't work;
The file was modified Admin/Release/CHECKLIST (diff)