Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more complete signature;
  2. more complete signature;
  3. clarified versions -- more reproducible build;
  4. removed dead lemma
Changeset 71490:3488c0eb4cc8 by wenzelm:
more complete signature;
The file was modified src/Tools/Haskell/Haskell.thy (diff)
Changeset 71489:e8da4a8d364a by wenzelm:
more complete signature;
The file was modified src/Tools/Haskell/Haskell.thy (diff)
Changeset 71488:cf39375d5cfe by wenzelm:
clarified versions -- more reproducible build;
The file was modified src/Tools/VSCode/extension/package.json (diff)
Changeset 71487:059c55b61734 by nipkow:
removed dead lemma
The file was modified src/HOL/Data_Structures/AVL_Set.thy (diff)