Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. Merged
  2. Tuned Gcd/Lcm in Codegenerator_Test
  3. Merged
  4. Tuned Bool_List_Representation
  5. Added normalized fractions
  6. Tuned looping simp rules in semiring_div
  7. Reformed factorial rings
  8. HOL-Multivariate_Analysis: add amssymb to document generation; reintroduce \nexists (cf d51a0a772094)
Changeset 63504:ba050a42a702 by eberlm _eberlm@in.tum.de_:
Merged
Changeset 63503:6c644d547db7 by eberlm _eberlm@in.tum.de_:
Tuned Gcd/Lcm in Codegenerator_Test
The file was modified src/HOL/Codegenerator_Test/Candidates.thy (diff)
Changeset 63502:e3d7dc9f7452 by eberlm _eberlm@in.tum.de_:
Merged
Changeset 63501:34b7e2da95f6 by eberlm _eberlm@in.tum.de_:
Tuned Bool_List_Representation
The file was modified src/HOL/Word/Bool_List_Representation.thy (diff)
Changeset 63500:0dac030afd36 by eberlm _eberlm@in.tum.de_:
Added normalized fractions
The file was addedsrc/HOL/Library/Normalized_Fraction.thy
The file was modified src/HOL/Number_Theory/Polynomial_Factorial.thy (diff)
Changeset 63499:9c9a59949887 by eberlm _eberlm@in.tum.de_:
Tuned looping simp rules in semiring_div
The file was modified src/HOL/Divides.thy (diff)
The file was modified src/HOL/Number_Theory/Polynomial_Factorial.thy (diff)
The file was modified src/HOL/Rat.thy (diff)
Changeset 63498:a3fe3250d05d by eberlm _eberlm@in.tum.de_:
Reformed factorial rings
The file was addedsrc/HOL/Number_Theory/Polynomial_Factorial.thy
The file was modified src/HOL/Library/Polynomial.thy (diff)
The file was modified src/HOL/Number_Theory/Euclidean_Algorithm.thy (diff)
The file was modified src/HOL/Number_Theory/Factorial_Ring.thy (diff)
The file was modified src/HOL/ROOT (diff)
Changeset 63497:ef794d2e3754 by hoelzl:
HOL-Multivariate_Analysis: add amssymb to document generation; reintroduce \nexists (cf d51a0a772094)
The file was modified src/HOL/Multivariate_Analysis/Brouwer_Fixpoint.thy (diff)
The file was modified src/HOL/Multivariate_Analysis/document/root.tex (diff)