HomeIsabelle/Phabricator
Diffusion afp-devel f98c2295edbb

new entry: Hahn_Jordan_Decomposition
f98c2295edbb
Actions

Description

new entry: Hahn_Jordan_Decomposition

Details

Provenance
Rene Thiemann <rene.thiemann@uibk.ac.at>Authored on
Parents
rAFPc998221ec46d: New entry: Van_Emde_Boas_Trees
Branches
Unknown
Tags
Unknown

Changes (10)

PathSize

rAFPf98c2295edbb

View Options

thys/Hahn_Jordan_Decomposition/Extended_Reals_Sums_Compl.thy

Loading...
View Options

thys/Hahn_Jordan_Decomposition/Hahn_Jordan_Decomposition.thy

Loading...
View Options

thys/Hahn_Jordan_Decomposition/Hahn_Jordan_Prelims.thy

Loading...
View Options

thys/Hahn_Jordan_Decomposition/ROOT

Loading...
View Options

thys/Hahn_Jordan_Decomposition/document/root.bib

Loading...
View Options

thys/Hahn_Jordan_Decomposition/document/root.tex

Loading...
View Options

thys/ROOTS

Loading...