Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. added multiset lemma
  2. added multiset lemma
  3. back to Poly/ML 5.6 until odd memory management problems are sorted out;
  4. avoid Unicode that conflicts with Isabelle symbol rendering;
Changeset 65048:805d0a9a4e37 by blanchet:
added multiset lemma
The file was modified src/HOL/Library/Multiset.thy (diff)
Changeset 65047:f6aea1a500ce by blanchet:
added multiset lemma
The file was modified src/HOL/Library/Multiset.thy (diff)
Changeset 65046:18f3d341f8c0 by wenzelm:
back to Poly/ML 5.6 until odd memory management problems are sorted out;
The file was modified Admin/components/main (diff)
The file was modified src/Pure/Concurrent/cache.ML (diff)
Changeset 65045:b69ef432438d by wenzelm:
avoid Unicode that conflicts with Isabelle symbol rendering;
The file was modified NEWS (diff)