Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more transfer rules
  2. tuned syntax
Changeset 70928:273fc913427b by haftmann:
more transfer rules
The file was modified src/HOL/Groups_List.thy (diff)
The file was modified src/HOL/Power.thy (diff)
Changeset 70927:cc204e10385c by haftmann:
tuned syntax
The file was modified src/HOL/Code_Numeral.thy (diff)
The file was modified src/HOL/Filter.thy (diff)
The file was modified src/HOL/Groups_List.thy (diff)
The file was modified src/HOL/Int.thy (diff)
The file was modified src/HOL/Lifting_Set.thy (diff)
The file was modified src/HOL/Num.thy (diff)
The file was modified src/HOL/Transfer.thy (diff)
The file was modified src/HOL/ex/Word_Type.thy (diff)