Diffusion afp-devel b5cf1b3eb582

more correct and complete citations;
b5cf1b3eb582
Actions

Description

more correct and complete citations;

Details

Provenance

makarius

Authored on

Parents

rAFPb1b1e175c5f8: unchecked \cite for unidentifiable citation;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rAFPb5cf1b3eb582: more correct and complete citations;.Jan 17 2023, 11:39 PM

Changes (24)

Path

Size

thys/

Clean/

document/

root.bib

Collections/

document/

root.bib

Combinatorics_Words/

CoWBasic.thy

Complete_Non_Orders/

document/

root.bib

Fishers_Inequality/

Fishers_Inequality_Variations.thy

Frequency_Moments/

Frequency_Moment_0.thy

Gabow_SCC/

Gabow_SCC.thy

Gabow_Skeleton.thy

Graph_Theory/

document/

root.bib

Gromov_Hyperbolicity/

document/

root.bib

KAD/

Antidomain_Semiring.thy

Kleene_Algebra/

Omega_Algebra.thy

List_Update/

document/

root.bib

Optimal_BST/

Optimal_BST2.thy

PCF/

document/

root.bib

Padic_Ints/

Hensels_Lemma.thy

Posix-Lexing/

document/

root.bib

Probabilistic_Prime_Tests/

document/

root.bib

Quantales/

document/

root.bib

UPF_Firewall/

FWNormalisation/

ElementaryRules.thy

Undirected_Graph_Theory/

Connectivity.thy

Undirected_Graph_Basics.thy

Undirected_Graph_Walks.thy

Verified_SAT_Based_AI_Planning/

document/

root.bib

rAFPb5cf1b3eb582

View Options

thys/Clean/document/root.bib

View Options

thys/Collections/document/root.bib

View Options

thys/Combinatorics_Words/CoWBasic.thy

View Options

thys/Complete_Non_Orders/document/root.bib

View Options

thys/Fishers_Inequality/Fishers_Inequality_Variations.thy

View Options

thys/Frequency_Moments/Frequency_Moment_0.thy

View Options

thys/Gabow_SCC/Gabow_SCC.thy

View Options

thys/Gabow_SCC/Gabow_Skeleton.thy

View Options

thys/Graph_Theory/document/root.bib

View Options

thys/Gromov_Hyperbolicity/document/root.bib

View Options

thys/KAD/Antidomain_Semiring.thy

View Options

thys/Kleene_Algebra/Omega_Algebra.thy

View Options

thys/List_Update/document/root.bib

View Options

thys/Optimal_BST/Optimal_BST2.thy

View Options

thys/PCF/document/root.bib

View Options

thys/Padic_Ints/Hensels_Lemma.thy

View Options

thys/Posix-Lexing/document/root.bib

View Options

thys/Probabilistic_Prime_Tests/document/root.bib

View Options

thys/Quantales/document/root.bib

View Options

thys/UPF_Firewall/FWNormalisation/ElementaryRules.thy

View Options

thys/Undirected_Graph_Theory/Connectivity.thy

View Options

thys/Undirected_Graph_Theory/Undirected_Graph_Basics.thy

View Options

thys/Undirected_Graph_Theory/Undirected_Graph_Walks.thy

View Options

thys/Verified_SAT_Based_AI_Planning/document/root.bib

more correct and complete citations;b5cf1b3eb582Actions

Description

Details

Event Timeline

Changes (24)

rAFPb5cf1b3eb582

thys/Clean/document/root.bib

thys/Collections/document/root.bib

thys/Combinatorics_Words/CoWBasic.thy

thys/Complete_Non_Orders/document/root.bib

thys/Fishers_Inequality/Fishers_Inequality_Variations.thy

thys/Frequency_Moments/Frequency_Moment_0.thy

thys/Gabow_SCC/Gabow_SCC.thy

thys/Gabow_SCC/Gabow_Skeleton.thy

thys/Graph_Theory/document/root.bib

thys/Gromov_Hyperbolicity/document/root.bib

thys/KAD/Antidomain_Semiring.thy

thys/Kleene_Algebra/Omega_Algebra.thy

thys/List_Update/document/root.bib

thys/Optimal_BST/Optimal_BST2.thy

thys/PCF/document/root.bib

thys/Padic_Ints/Hensels_Lemma.thy

thys/Posix-Lexing/document/root.bib

thys/Probabilistic_Prime_Tests/document/root.bib

thys/Quantales/document/root.bib

thys/UPF_Firewall/FWNormalisation/ElementaryRules.thy

thys/Undirected_Graph_Theory/Connectivity.thy

thys/Undirected_Graph_Theory/Undirected_Graph_Basics.thy

thys/Undirected_Graph_Theory/Undirected_Graph_Walks.thy

thys/Verified_SAT_Based_AI_Planning/document/root.bib

more correct and complete citations;
b5cf1b3eb582
Actions