Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. tuned op's
  3. tuned op's
  4. tuned op's
  5. tuned op's
  6. tuned op's
  7. updated URL;
  8. isabelle update_cartouches -c -t;
Changeset 67233:43ed806acb95 by nipkow:
merged
Changeset 67232:a00f5a71e672 by nipkow:
tuned op's
The file was modified src/HOL/Library/positivstellensatz.ML (diff)
Changeset 67231:754952c12293 by nipkow:
tuned op's
The file was modified src/HOL/Topological_Spaces.thy (diff)
Changeset 67230:b2800da9eb8a by nipkow:
tuned op's
The file was modified src/HOL/Tools/groebner.ML (diff)
Changeset 67229:4ecf0ef70efb by nipkow:
tuned op's
The file was modified src/HOL/Lifting.thy (diff)
Changeset 67228:7c7b76695c90 by nipkow:
tuned op's
The file was modified src/HOL/Tools/ATP/atp_problem_generate.ML (diff)
Changeset 67227:6f6b26557ea9 by wenzelm:
updated URL;
The file was modified src/Doc/manual.bib (diff)
Changeset 67226:ec32cdaab97b by wenzelm:
isabelle update_cartouches -c -t;
The file was modified src/HOL/Algebra/Complete_Lattice.thy (diff)
The file was modified src/HOL/Algebra/Lattice.thy (diff)
The file was modified src/HOL/Algebra/Multiplicative_Group.thy (diff)
The file was modified src/HOL/Analysis/Bounded_Linear_Function.thy (diff)
The file was modified src/HOL/Auth/Yahalom.thy (diff)
The file was modified src/HOL/Auth/Yahalom2.thy (diff)
The file was modified src/HOL/Codegenerator_Test/Generate_Efficient_Datastructures.thy (diff)
The file was modified src/HOL/Divides.thy (diff)
The file was modified src/HOL/Fun.thy (diff)
The file was modified src/HOL/Power.thy (diff)
The file was modified src/HOL/Predicate_Compile_Examples/Predicate_Compile_Tests.thy (diff)
The file was modified src/HOL/Probability/Conditional_Expectation.thy (diff)
The file was modified src/HOL/Probability/Essential_Supremum.thy (diff)
The file was modified src/HOL/Probability/Giry_Monad.thy (diff)
The file was modified src/HOL/Probability/Probability_Mass_Function.thy (diff)
The file was modified src/HOL/Probability/Stopping_Time.thy (diff)
The file was modified src/HOL/Real.thy (diff)
The file was modified src/HOL/Rings.thy (diff)
The file was modified src/HOL/SMT_Examples/SMT_Examples.thy (diff)
The file was modified src/HOL/SMT_Examples/SMT_Tests.thy (diff)
The file was modified src/HOL/Topological_Spaces.thy (diff)
The file was modified src/HOL/ex/Perm_Fragments.thy (diff)