Diffusion afp-devel 86f544c41cb4

removed UNION
86f544c41cb4
Actions

Tags

None

Subscribers

None

Description

removed UNION

Details

Provenance

Authored on

Parents

rAFPd697df9a952b: tuned

Branches

Unknown

Tags

Unknown

Event Timeline

Changes (4)

Path

Size

thys/

Groebner_Macaulay/

Degree_Bound_Utils.thy

Groebner_Macaulay.thy

Groebner_Macaulay_Examples.thy

rAFP86f544c41cb4

thys/Groebner_Macaulay/Degree_Bound_Utils.thy

Loading...

thys/Groebner_Macaulay/Dube_Bound.thy

Loading...

thys/Groebner_Macaulay/Groebner_Macaulay.thy

Loading...

thys/Groebner_Macaulay/Groebner_Macaulay_Examples.thy

Loading...