Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. restructured
  2. modulus for polynomials is invariant wrt. units
  3. proper Java syntax (amending ea79c21bcc47);
  4. reactivate emerging tool after release (see 322f2e2799a7);
  5. separate out definition of bound to avoid spurious sort hypotheses (by Jan van Brügge)
Changeset 76387:8cb141384682 by haftmann:
restructured
The file was modified src/HOL/Euclidean_Division.thy (diff)
The file was modified src/HOL/Matrix_LP/ComputeNumeral.thy (diff)
The file was modified src/HOL/Parity.thy (diff)
Changeset 76386:6bc3bb9d0e3e by haftmann:
modulus for polynomials is invariant wrt. units
The file was modified src/HOL/Computational_Algebra/Polynomial.thy (diff)
Changeset 76385:5ca3391244a3 by wenzelm:
proper Java syntax (amending ea79c21bcc47);
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified src/Tools/Setup/src/Environment.java (diff)
Changeset 76384:46d4ebc2582c by wenzelm:
reactivate emerging tool after release (see 322f2e2799a7);
The file was modified src/Tools/jEdit/jedit_main/plugin.props (diff)
Changeset 76383:fc35dc967344 by traytel:
separate out definition of bound to avoid spurious sort hypotheses (by Jan van Brügge)
The file was modified src/HOL/Tools/BNF/bnf_def.ML (diff)