HomeIsabelle/Phabricator
Diffusion afp-devel 6e02e9bc874d

Frequency_Moments, Distributed_Distinct_Elements: Remove obsolete code.
6e02e9bc874d
Actions

Description

Frequency_Moments, Distributed_Distinct_Elements: Remove obsolete code.

This was obsolete code, that I had left to reduce the possibility of possible merge-conflicts.

Details

Provenance
Emin Karayel <me@eminkarayel.de>Authored on
Parents
rAFP1b546d918c0c: Finite_Fields, Universal_Hash_Families, Concentration_Inequalities: Add various…
Branches
Unknown
Tags
Unknown

Changes (15)

PathSize
Approximate_Model_Counting/
Finite_Fields/

rAFP6e02e9bc874d

View Options

thys/Approximate_Model_Counting/ApproxMCPreliminaries.thy

Loading...
View Options

thys/Approximate_Model_Counting/RandomXOR.thy

Loading...
View Options

thys/Distributed_Distinct_Elements/Distributed_Distinct_Elements_Preliminary.thy

Loading...
View Options

thys/Distributed_Distinct_Elements/Pseudorandom_Combinators.thy

Loading...
View Options

thys/Distributed_Distinct_Elements/ROOT

Loading...
View Options

thys/Finite_Fields/ROOT

Loading...
View Options

thys/Frequency_Moments/Frequency_Moment_0.thy

Loading...
View Options

thys/Frequency_Moments/Frequency_Moment_2.thy

Loading...
View Options

thys/Frequency_Moments/Frequency_Moment_k.thy

Loading...
View Options

thys/Frequency_Moments/Probability_Ext.thy

Loading...
View Options

thys/Frequency_Moments/Product_PMF_Ext.thy

Loading...
View Options

thys/Frequency_Moments/ROOT

Loading...