Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. CONTRIBUTORS
  2. migrated from Nums to Zarith as library for OCaml integer arithmetic
  3. dropped superfluous declaration attribute
  4. more sanity checks;
Changeset 69907:4343c1bfa52d by haftmann:
CONTRIBUTORS
The file was modified CONTRIBUTORS (diff)
Changeset 69906:55534affe445 by haftmann:
migrated from Nums to Zarith as library for OCaml integer arithmetic
The file was addedlib/scripts/ocamlexec
The file was modified NEWS (diff)
The file was modified src/HOL/Code_Numeral.thy (diff)
The file was modified src/HOL/GCD.thy (diff)
The file was modified src/HOL/Imperative_HOL/Array.thy (diff)
The file was modified src/HOL/Library/Code_Real_Approx_By_Float.thy (diff)
The file was modified src/HOL/Library/code_test.ML (diff)
The file was modified src/HOL/String.thy (diff)
The file was modified src/Tools/Code/code_ml.ML (diff)
The file was modified src/Tools/Code/code_target.ML (diff)
The file was removedlib/scripts/ocaml
Changeset 69905:06f204a2f3c2 by haftmann:
dropped superfluous declaration attribute
The file was modified src/HOL/Relation.thy (diff)
Changeset 69904:6f5bd59f75f4 by wenzelm:
more sanity checks;
The file was modified src/Pure/General/path.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)