Diffusion afp-devel 2961a61999bd

reduced dependencies on List_Permutation
2961a61999bd
Actions

Tags

None

Subscribers

None

Description

reduced dependencies on List_Permutation

Details

Provenance

florian.haftmann

Authored on

Parents

rAFP18cd8aa0ceae: follow corresponding precedence on sets

Branches

Unknown

Tags

Unknown

Event Timeline

florian.haftmann committed rAFP2961a61999bd: reduced dependencies on List_Permutation.Mar 8 2021, 8:03 AM

Changes (9)

Path

Size

thys/

Completeness/

Completeness.thy

PermutationLemmas.thy

Groebner_Macaulay/

Cone_Decomposition.thy

Hilbert_Function.thy

Program-Conflict-Analysis/

rAFP2961a61999bd

thys/Completeness/Completeness.thy

Loading...

thys/Completeness/PermutationLemmas.thy

Loading...

thys/Completeness/Sequents.thy

Loading...

thys/Completeness/Soundness.thy

Loading...

thys/Groebner_Macaulay/Cone_Decomposition.thy

Loading...

thys/Groebner_Macaulay/Dube_Bound.thy

Loading...

thys/Groebner_Macaulay/Hilbert_Function.thy

Loading...

thys/Program-Conflict-Analysis/Interleave.thy

Loading...

thys/Program-Conflict-Analysis/MainResult.thy

Loading...