Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. consistent session name
  2. more rules concerning of_nat, of_int, numeral
Changeset 65485:8c7bc3a13513 by haftmann:
consistent session name
The file was modified src/HOL/ROOT (diff)
Changeset 65484:751f9ed8e940 by haftmann:
more rules concerning of_nat, of_int, numeral
The file was modified src/HOL/Computational_Algebra/Polynomial.thy (diff)