Diffusion afp-devel 1fea1f554ccf

adapted to Isabelle/457f1cba78fb
1fea1f554ccf
Actions

Tags

None

Subscribers

None

Description

adapted to Isabelle/457f1cba78fb

Details

Provenance

Authored on

Parents

rAFP0ea44ed00721: merged

Branches

Unknown

Tags

Unknown

Event Timeline

desharna committed rAFP1fea1f554ccf: adapted to Isabelle/457f1cba78fb.Oct 13 2022, 4:43 PM

Changes (1)

Path

Size

thys/

Nullstellensatz/

Nullstellensatz_Field.thy

rAFP1fea1f554ccf

thys/Nullstellensatz/Nullstellensatz_Field.thy

Loading...