Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. HOL-Analysis: move Function Topology from AFP/Ergodict_Theory; HOL-Probability: move Essential Supremum from AFP/Lp
Changeset 64289:42f28160bad9 by hoelzl:
HOL-Analysis: move Function Topology from AFP/Ergodict_Theory; HOL-Probability: move Essential Supremum from AFP/Lp
The file was addedsrc/HOL/Analysis/Function_Topology.thy
The file was addedsrc/HOL/Analysis/Further_Topology.thy
The file was modified src/HOL/Analysis/Analysis.thy (diff)
The file was modified src/HOL/Probability/Probability.thy (diff)
The file was removedsrc/HOL/Analysis/FurtherTopology.thy