Diffusion afp-devel 59f623140cfa

adapt to Isabelle@769a7cd5a16a
59f623140cfa
Actions

Tags

None

Subscribers

None

Description

adapt to Isabelle@769a7cd5a16a

Details

Provenance

Authored on

Parents

rAFPbd79c9c8cfa0: merge from afp-2021-1

Branches

Unknown

Tags

Unknown

Event Timeline

kleing committed rAFP59f623140cfa: adapt to Isabelle@769a7cd5a16a.Sep 23 2022, 5:55 PM

Changes (4)

Path

Size

thys/

Padic_Field/

Cring_Multivariable_Poly.thy

Padic_Field_Polynomials.thy

Padic_Field_Powers.thy

Padic_Semialgebraic_Function_Ring.thy

rAFP59f623140cfa

thys/Padic_Field/Cring_Multivariable_Poly.thy

Loading...

thys/Padic_Field/Padic_Field_Polynomials.thy

Loading...

thys/Padic_Field/Padic_Field_Powers.thy

Loading...

thys/Padic_Field/Padic_Semialgebraic_Function_Ring.thy

Loading...