Diffusion afp-devel d7a872772538

formally augmented corresponding rules for field_simps
d7a872772538
Actions

Tags

None

Subscribers

None

Description

formally augmented corresponding rules for field_simps

Details

Provenance

florian.haftmann

Authored on

Parents

rAFPab79744bf7a0: updated to work with recent automata changes

Branches

Unknown

Tags

Unknown

Event Timeline

haftmann committed rAFPd7a872772538: formally augmented corresponding rules for field_simps.Oct 8 2019, 12:26 PM

Changes (3)

Path

Size

thys/

Affine_Arithmetic/

Affine_Form.thy

Intersection.thy

Prime_Number_Theorem/

Prime_Number_Theorem_Library.thy

rAFPd7a872772538

thys/Affine_Arithmetic/Affine_Form.thy

Loading...

thys/Affine_Arithmetic/Intersection.thy

Loading...

thys/Prime_Number_Theorem/Prime_Number_Theorem_Library.thy

Loading...