Diffusion afp-devel 9282ad6144da

new theory in Priority_Queue_Braun
9282ad6144da
Actions

Tags

None

Subscribers

None

Description

new theory in Priority_Queue_Braun

Details

Provenance

Authored on

Parents

rAFPfd8327b801a2: merged

Branches

Unknown

Tags

Unknown

Event Timeline

nipkow committed rAFP9282ad6144da: new theory in Priority_Queue_Braun.Dec 16 2019, 10:55 AM

Changes (43)

Path

Size

metadata/

thys/

Priority_Queue_Braun/

Priority_Queue_Braun.thy

document/

web/

entries/

Abstract-Rewriting.html

Algebraic_Numbers.html

Berlekamp_Zassenhaus.html

CAVA_Automata.html

CAVA_LTL_Modelchecker.html

Collections.html

Containers.html

DFS_Framework.html

Datatype_Order_Generator.html

Efficient-Mergesort.html

Formula_Derivatives.html

Gauss_Jordan.html

Knuth_Morris_Pratt.html

LTL_Master_Theorem.html

LTL_to_GBA.html

Linear_Recurrences.html

Native_Word.html

Ordinary_Differential_Equations.html

Partial_Order_Reduction.html

Polynomial_Factorization.html

Polynomial_Interpolation.html

Priority_Queue_Braun.html

Probabilistic_While.html

Refine_Imperative_HOL.html

Separation_Logic_Imperative_HOL.html

Subresultants.html

VectorSpace.html

VerifyThis2018.html

VerifyThis2019.html

statistics.html

rAFP9282ad6144da

metadata/metadata

Loading...

thys/Priority_Queue_Braun/Priority_Queue_Braun.thy

Loading...

thys/Priority_Queue_Braun/ROOT

Loading...

thys/Priority_Queue_Braun/document/root.tex

Loading...

web/entries/Abstract-Rewriting.html

Loading...

web/entries/Algebraic_Numbers.html

Loading...

web/entries/Berlekamp_Zassenhaus.html

Loading...

web/entries/CAVA_Automata.html

Loading...

web/entries/CAVA_LTL_Modelchecker.html

Loading...

web/entries/Collections.html

Loading...

web/entries/Containers.html

Loading...

web/entries/DFS_Framework.html

Loading...

web/entries/Datatype_Order_Generator.html

Loading...

web/entries/Deriving.html

Loading...

web/entries/Efficient-Mergesort.html

Loading...

web/entries/Formula_Derivatives.html

Loading...

web/entries/Gabow_SCC.html

Loading...

web/entries/Gauss_Jordan.html

Loading...

web/entries/Knuth_Morris_Pratt.html

Loading...

web/entries/LTL_Master_Theorem.html

Loading...

web/entries/LTL_to_GBA.html

Loading...

web/entries/Linear_Recurrences.html

Loading...

web/entries/Matrix.html

Loading...

web/entries/Native_Word.html

Loading...

web/entries/Optics.html

Loading...

web/entries/Ordinary_Differential_Equations.html

Loading...

web/entries/Partial_Order_Reduction.html

Loading...

web/entries/Polynomial_Factorization.html

Loading...

web/entries/Polynomial_Interpolation.html

Loading...

web/entries/Priority_Queue_Braun.html

Loading...

web/entries/Probabilistic_While.html

Loading...

web/entries/Promela.html

Loading...

web/entries/ROBDD.html

Loading...

web/entries/Refine_Imperative_HOL.html

Loading...

web/entries/Separation_Logic_Imperative_HOL.html

Loading...

web/entries/Show.html

Loading...

web/entries/Subresultants.html

Loading...

web/entries/Trie.html

Loading...

web/entries/UTP.html

Loading...

web/entries/VectorSpace.html

Loading...

web/entries/VerifyThis2018.html

Loading...

web/entries/VerifyThis2019.html

Loading...

web/statistics.html

Loading...