New material and a bit of refactoring
95b4fb2b5359
Actions

Description

New material and a bit of refactoring

Details

Provenance

Authored on

Parents

Branches

Unknown

Tags

Unknown

Changes (6)

Path

Size

src/

HOL/

Analysis/

Decision_Procs/

Probability/

ex/

rISABELLE95b4fb2b5359

NEWS

src/HOL/Analysis/Topology_Euclidean_Space.thy

src/HOL/Decision_Procs/Approximation.thy

src/HOL/Probability/Information.thy

src/HOL/Probability/ex/Koepf_Duermuth_Countermeasure.thy

src/HOL/Transcendental.thy

New material and a bit of refactoring95b4fb2b5359Actions

Description

Details

Changes (6)

rISABELLE95b4fb2b5359

NEWS

src/HOL/Analysis/Topology_Euclidean_Space.thy

src/HOL/Decision_Procs/Approximation.thy

src/HOL/Probability/Information.thy

src/HOL/Probability/ex/Koepf_Duermuth_Countermeasure.thy

src/HOL/Transcendental.thy

New material and a bit of refactoring
95b4fb2b5359
Actions