Diffusion afp-devel 5c7a3b0533b3

more specific name
5c7a3b0533b3
Actions

Tags

None

Subscribers

None

Description

more specific name

Details

Provenance

florian.haftmann

Authored on

Parents

rAFPf92a0d6fefa1: merged

Branches

Unknown

Tags

Unknown

Event Timeline

florian.haftmann committed rAFP5c7a3b0533b3: more specific name.Feb 23 2021, 9:41 PM

Changes (16)

Path

Size

thys/

Affine_Arithmetic/

Affine_Form.thy

Berlekamp_Zassenhaus/

Missing_Multiset2.thy

Buchi_Complementation/

Complementation_Final.thy

CakeML/

generated/

LemExtraDefs.thy

Lem_sorting.thy

Chandy_Lamport/

Completeness/

PermutationLemmas.thy

Groebner_Macaulay/

Hilbert_Function.thy

MuchAdoAboutTwo/

MuchAdoAboutTwo.thy

Polynomial_Factorization/

Program-Conflict-Analysis/

Selection_Heap_Sort/

Simpl/

ex/

Simplex/

Simplex_Auxiliary.thy

rAFP5c7a3b0533b3

thys/Affine_Arithmetic/Affine_Form.thy

Loading...

thys/Berlekamp_Zassenhaus/Missing_Multiset2.thy

Loading...

thys/Buchi_Complementation/Complementation_Final.thy

Loading...

thys/CakeML/generated/LemExtraDefs.thy

Loading...

thys/CakeML/generated/Lem_sorting.thy

Loading...

thys/Chandy_Lamport/Snapshot.thy

Loading...

thys/Chandy_Lamport/Util.thy

Loading...

thys/Completeness/PermutationLemmas.thy

Loading...

thys/Groebner_Macaulay/Hilbert_Function.thy

Loading...

thys/MuchAdoAboutTwo/MuchAdoAboutTwo.thy

Loading...

thys/Polynomial_Factorization/ROOT

Loading...

thys/Program-Conflict-Analysis/Interleave.thy

Loading...

thys/Selection_Heap_Sort/Sort.thy

Loading...

thys/Simpl/ex/Quicksort.thy

Loading...

thys/Simplex/Simplex.thy

Loading...

thys/Simplex/Simplex_Auxiliary.thy

Loading...