Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. streamlined setup for linear algebra, particularly removed redundant rule declarations
  2. tuned
Changeset 70356:4a327c061870 by haftmann:
streamlined setup for linear algebra, particularly removed redundant rule declarations
The file was modified src/HOL/Fields.thy
The file was modified src/HOL/Int.thy
The file was modified src/HOL/Nat.thy
The file was modified src/HOL/Nonstandard_Analysis/HyperDef.thy
The file was modified src/HOL/Num.thy
The file was modified src/HOL/Numeral_Simprocs.thy
The file was modified src/HOL/Rat.thy
The file was modified src/HOL/Real.thy
The file was modified src/HOL/Tools/int_arith.ML
The file was modified src/HOL/Tools/lin_arith.ML
The file was modified src/HOL/ex/Arith_Examples.thy
Changeset 70355:a80ad0ac0837 by haftmann:
tuned
The file was modified src/HOL/Library/Float.thy