Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. resultant_smult now available in left- and right-version
  2. generalized content_0_iff from int to 'a
  3. acc is now called accessible
Changeset 6190:c0ee5b80a3e0 by rene thiemann _rene.thiemann@uibk.ac.at_:
resultant_smult now available in left- and right-version
The file was modified thys/Algebraic_Numbers/Resultant.thy (diff)
Changeset 6189:45c1d32a3415 by rene thiemann _rene.thiemann@uibk.ac.at_:
generalized content_0_iff from int to 'a
The file was modified thys/Polynomial_Factorization/Gauss_Lemma.thy (diff)
Changeset 6188:fb886a8391c1 by hoelzl:
acc is now called accessible
The file was modified thys/Markov_Models/Discrete_Time_Markov_Chain.thy (diff)