Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. Retired lemma card_Union_image; use the simpler card_UN_disjoint instead.
  3. more Haskell operations;
  4. unused -- left-over from Proof General;
Changeset 69317:e8dea06456b4 by nipkow:
merged
Changeset 69316:248696d0a05f by nipkow:
Retired lemma card_Union_image; use the simpler card_UN_disjoint instead.
The file was modified NEWS (diff)
The file was modified src/HOL/Groups_Big.thy (diff)
Changeset 69315:fc1a8df3062d by wenzelm:
more Haskell operations;
The file was modified src/Tools/Haskell/Haskell.thy (diff)
The file was modified src/Tools/Haskell/Markup.hs (diff)
Changeset 69314:b367c22c3dd8 by wenzelm:
unused -- left-over from Proof General;
The file was modified src/Pure/PIDE/markup.ML (diff)