Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. suitable logical type class for abs, sgn
Changeset 7221:c03838321f2a by haftmann:
suitable logical type class for abs, sgn
The file was modified thys/Algebraic_Numbers/Real_Algebraic_Numbers.thy (diff)
The file was modified thys/Descartes_Sign_Rule/Descartes_Sign_Rule.thy (diff)
The file was modified thys/Polynomial_Interpolation/Missing_Unsorted.thy (diff)