Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. earlier availability of lifting
  2. more correct transfer
Changeset 74979:4d77dd3019d1 by haftmann:
earlier availability of lifting
The file was modified src/HOL/Equiv_Relations.thy (diff)
The file was modified src/HOL/Groups_Big.thy (diff)
The file was modified src/HOL/Int.thy (diff)
The file was modified src/HOL/Lattices_Big.thy (diff)
The file was modified src/HOL/Lifting_Set.thy (diff)
Changeset 74978:1f30aa91f496 by haftmann:
more correct transfer
The file was modified src/Pure/Isar/code.ML (diff)