Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more lemmas
  2. include GCD as integral part of computational algebra in session HOL
Changeset 65556:fcd599570afa by haftmann:
more lemmas
The file was modified src/HOL/Divides.thy (diff)
Changeset 65555:85ed070017b7 by haftmann:
include GCD as integral part of computational algebra in session HOL
The file was modified src/HOL/GCD.thy (diff)
The file was modified src/HOL/Nitpick.thy (diff)