Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. Finally, the abstract metric space development
Changeset 78093:cec875dcc59e by paulson _lp15@cam.ac.uk_:
Finally, the abstract metric space development
The file was addedsrc/HOL/Analysis/Abstract_Metric_Spaces.thy
The file was modified src/HOL/Analysis/Abstract_Topological_Spaces.thy
The file was modified src/HOL/Analysis/Abstract_Topology.thy
The file was modified src/HOL/Analysis/Analysis.thy
The file was modified src/HOL/Analysis/Measure_Space.thy
The file was modified src/HOL/Analysis/Product_Topology.thy
The file was modified src/HOL/Analysis/T1_Spaces.thy
The file was modified src/HOL/Nat.thy
The file was modified src/HOL/Topological_Spaces.thy

Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

Summary

  1. Deleted a superfluous assumption. This proof is a horror
  2. merged
  3. fixed some bibliographic entries
Changeset 13481:a664ef80db6a by paulson _lp15@cam.ac.uk_:
Deleted a superfluous assumption. This proof is a horror
The file was modified thys/Ordinary_Differential_Equations/IVP/Flow.thy
Changeset 13480:b91c9be765e1 by paulson:
merged
Changeset 13479:c17b25e9151c by paulson _lp15@cam.ac.uk_:
fixed some bibliographic entries
The file was modified thys/Irrationality_J_Hancl/document/root.bib
The file was modified thys/Transcendence_Series_Hancl_Rucki/document/root.bib