Diffusion afp-devel fc96173189a3

reduced prominence of lemma names
fc96173189a3
Actions

Description

reduced prominence of lemma names

Details

Provenance

florian.haftmann

Authored on

Parents

rAFPd57b427b0d34: merge from afp-2023

Branches

Unknown

Tags

Unknown

Event Timeline

florian.haftmann committed rAFPfc96173189a3: reduced prominence of lemma names.Sep 16 2023, 8:38 AM

Changes (24)

Path

Size

thys/

Approximation_Algorithms/

Approx_BP_Hoare.thy

BenOr_Kozen_Reif/

BKR_Proofs.thy

Berlekamp_Zassenhaus/

Berlekamp_Type_Based.thy

CVP_Hardness/

Chandy_Lamport/

Combinatorics_Words/

Periodicity_Lemma.thy

CommCSL/

Crypto_Standards/

Deep_Learning/

Earley_Parser/

Earley_Recognizer.thy

Echelon_Form/

Echelon_Form.thy

Gabow_SCC/

Gabow_Skeleton.thy

Gaussian_Integers/

Gaussian_Integers.thy

Lucas_Theorem/

Lucas_Theorem.thy

MFODL_Monitor_Optimized/

Monitor.thy

Padic_Field/

Padic_Field_Powers.thy

Planarity_Certificates/

Planarity/

Executable_Permutations.thy

Three_Squares/

Three_Squares.thy

rAFPfc96173189a3

View Options

thys/Approximation_Algorithms/Approx_BP_Hoare.thy

View Options

thys/BenOr_Kozen_Reif/BKR_Proofs.thy

View Options

thys/Berlekamp_Zassenhaus/Berlekamp_Type_Based.thy

View Options

thys/CVP_Hardness/BHLE.thy

View Options

thys/CVP_Hardness/SVP_vec.thy

View Options

thys/Chandy_Lamport/Snapshot.thy

View Options

thys/Chandy_Lamport/Util.thy

View Options

thys/Combinatorics_Words/Periodicity_Lemma.thy

View Options

thys/CommCSL/CommCSL.thy

View Options

thys/Crypto_Standards/EC_Common.thy

View Options

thys/Crypto_Standards/FIPS180_4.thy

View Options

thys/Crypto_Standards/SEC1v2_0.thy

View Options

thys/Deep_Learning/Tensor.thy

View Options

thys/Earley_Parser/Earley.thy

View Options

thys/Earley_Parser/Earley_Parser.thy

View Options

thys/Earley_Parser/Earley_Recognizer.thy

View Options

thys/Echelon_Form/Echelon_Form.thy

View Options

thys/Gabow_SCC/Gabow_Skeleton.thy

View Options

thys/Gaussian_Integers/Gaussian_Integers.thy

View Options

thys/Lucas_Theorem/Lucas_Theorem.thy

View Options

thys/MFODL_Monitor_Optimized/Monitor.thy

View Options

thys/Padic_Field/Padic_Field_Powers.thy

View Options

thys/Planarity_Certificates/Planarity/Executable_Permutations.thy

View Options

thys/Three_Squares/Three_Squares.thy

reduced prominence of lemma namesfc96173189a3Actions

Description

Details

Event Timeline

Changes (24)

rAFPfc96173189a3

thys/Approximation_Algorithms/Approx_BP_Hoare.thy

thys/BenOr_Kozen_Reif/BKR_Proofs.thy

thys/Berlekamp_Zassenhaus/Berlekamp_Type_Based.thy

thys/CVP_Hardness/BHLE.thy

thys/CVP_Hardness/SVP_vec.thy

thys/Chandy_Lamport/Snapshot.thy

thys/Chandy_Lamport/Util.thy

thys/Combinatorics_Words/Periodicity_Lemma.thy

thys/CommCSL/CommCSL.thy

thys/Crypto_Standards/EC_Common.thy

thys/Crypto_Standards/FIPS180_4.thy

thys/Crypto_Standards/SEC1v2_0.thy

thys/Deep_Learning/Tensor.thy

thys/Earley_Parser/Earley.thy

thys/Earley_Parser/Earley_Parser.thy

thys/Earley_Parser/Earley_Recognizer.thy

thys/Echelon_Form/Echelon_Form.thy

thys/Gabow_SCC/Gabow_Skeleton.thy

thys/Gaussian_Integers/Gaussian_Integers.thy

thys/Lucas_Theorem/Lucas_Theorem.thy

thys/MFODL_Monitor_Optimized/Monitor.thy

thys/Padic_Field/Padic_Field_Powers.thy

thys/Planarity_Certificates/Planarity/Executable_Permutations.thy

thys/Three_Squares/Three_Squares.thy

reduced prominence of lemma names
fc96173189a3
Actions