Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned
  2. removed some old ASCII syntax;
  3. prefer context groups;
  4. misc tuning and modernization;
  5. prefer context groups;
  6. more symbols;
  7. misc tuning and modernization;
  8. isabelle update_cartouches -c -t;
  9. more symbols via abbrevs;
Changeset 64918:440f55c3fd55 by nipkow:
tuned
The file was modified src/HOL/Library/Tree.thy (diff)
Changeset 64917:5db5b8cf6dc6 by wenzelm:
removed some old ASCII syntax;
The file was modified NEWS (diff)
The file was modified src/HOL/Library/FuncSet.thy (diff)
Changeset 64916:eb6ad9301841 by wenzelm:
prefer context groups;
The file was modified src/HOL/ex/Tarski.thy (diff)
Changeset 64915:2bb0152d82cf by wenzelm:
misc tuning and modernization;
The file was modified src/HOL/ex/Tarski.thy (diff)
Changeset 64914:51f015bd4565 by wenzelm:
prefer context groups;
The file was modified src/HOL/Algebra/Sylow.thy (diff)
Changeset 64913:3a9eb793fa10 by wenzelm:
more symbols;
The file was modified src/HOL/Algebra/UnivPoly.thy (diff)
The file was modified src/HOL/Metis_Examples/Tarski.thy (diff)
Changeset 64912:68f0465d956b by wenzelm:
misc tuning and modernization;
The file was modified src/HOL/Algebra/Sylow.thy (diff)
Changeset 64911:f0e07600de47 by wenzelm:
isabelle update_cartouches -c -t;
The file was modified src/HOL/Analysis/Bochner_Integration.thy (diff)
The file was modified src/HOL/Analysis/Borel_Space.thy (diff)
The file was modified src/HOL/Analysis/Brouwer_Fixpoint.thy (diff)
The file was modified src/HOL/Analysis/Function_Topology.thy (diff)
The file was modified src/HOL/Analysis/Further_Topology.thy (diff)
The file was modified src/HOL/Analysis/Henstock_Kurzweil_Integration.thy (diff)
The file was modified src/HOL/Analysis/Measure_Space.thy (diff)
The file was modified src/HOL/Analysis/Path_Connected.thy (diff)
The file was modified src/HOL/Analysis/Radon_Nikodym.thy (diff)
The file was modified src/HOL/Analysis/Set_Integral.thy (diff)
The file was modified src/HOL/Analysis/Tagged_Division.thy (diff)
The file was modified src/HOL/Analysis/Topology_Euclidean_Space.thy (diff)
The file was modified src/HOL/Analysis/ex/Circle_Area.thy (diff)
The file was modified src/HOL/Library/Bourbaki_Witt_Fixpoint.thy (diff)
The file was modified src/HOL/Library/Linear_Temporal_Logic_on_Streams.thy (diff)
The file was modified src/HOL/Library/Multiset.thy (diff)
The file was modified src/HOL/Library/Perm.thy (diff)
The file was modified src/HOL/Library/Polynomial_FPS.thy (diff)
The file was modified src/HOL/Library/Polynomial_Factorial.thy (diff)
The file was modified src/HOL/Number_Theory/Euclidean_Algorithm.thy (diff)
The file was modified src/HOL/Number_Theory/Primes.thy (diff)
The file was modified src/HOL/Number_Theory/Quadratic_Reciprocity.thy (diff)
Changeset 64910:6108dddad9f0 by wenzelm:
more symbols via abbrevs;
The file was modified src/HOL/Analysis/Finite_Product_Measure.thy (diff)
The file was modified src/HOL/Analysis/Function_Topology.thy (diff)
The file was modified src/HOL/Analysis/Tagged_Division.thy (diff)
The file was modified src/HOL/Analysis/Topology_Euclidean_Space.thy (diff)
The file was modified src/HOL/Library/FuncSet.thy (diff)
The file was modified src/HOL/Probability/Infinite_Product_Measure.thy (diff)