Diffusion Isabelle c06c95576ea9

Tidied some messy proofs
c06c95576ea9
Actions

Tags

None

Subscribers

None

Description

Tidied some messy proofs

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rISABELLE83fa23ca40e5: merged

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rISABELLEc06c95576ea9: Tidied some messy proofs.Fri, Apr 12, 11:19 PM

Changes (2)

Path

Size

src/

HOL/

Decision_Procs/

Parametric_Ferrante_Rackoff.thy

Polynomial_List.thy

rISABELLEc06c95576ea9

src/HOL/Decision_Procs/Parametric_Ferrante_Rackoff.thy

Loading...

src/HOL/Decision_Procs/Polynomial_List.thy

Loading...