Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more verbosity for potentially bulky presentation;
  2. tuned signature -- prefer Isabelle/ML structure Integer (despite minor confusion due to canonical argument order of "pow");
  3. tuned signature -- prefer Isabelle/ML structure Integer;
  4. tuned signature -- prefer Isabelle/ML structure Integer;
Changeset 73022:38528017e4c8 by wenzelm:
more verbosity for potentially bulky presentation;
The file was modified src/Pure/Thy/presentation.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 73021:f602a380e4f2 by wenzelm:
tuned signature -- prefer Isabelle/ML structure Integer (despite minor confusion due to canonical argument order of "pow");
The file was modified src/HOL/Library/Tools/smt_word.ML (diff)
Changeset 73020:b51515722274 by wenzelm:
tuned signature -- prefer Isabelle/ML structure Integer;
The file was modified src/HOL/Tools/numeral.ML (diff)
The file was modified src/Pure/General/integer.ML (diff)
Changeset 73019:05e2cab9af8b by wenzelm:
tuned signature -- prefer Isabelle/ML structure Integer;
The file was modified src/HOL/Decision_Procs/approximation.ML (diff)
The file was modified src/HOL/Matrix_LP/float_arith.ML (diff)
The file was modified src/HOL/Tools/Function/scnp_solve.ML (diff)
The file was modified src/Pure/General/integer.ML (diff)