Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more lemmas
  2. generalized
Changeset 67906:9cc32b18c785 by haftmann:
more lemmas
The file was modified src/HOL/Parity.thy (diff)
Changeset 67905:fe0f4eeceeb7 by haftmann:
generalized
The file was modified src/HOL/Code_Numeral.thy (diff)
The file was modified src/HOL/Parity.thy (diff)