Diffusion Isabelle 7ed1759fe1bd

tidying up old apply-style proofs
7ed1759fe1bd
Actions

Tags

None

Subscribers

None

Description

tidying up old apply-style proofs

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rISABELLEd96dd69903fb: merged

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rISABELLE7ed1759fe1bd: tidying up old apply-style proofs.Aug 26 2023, 12:36 PM

Changes (4)

Path

Size

src/

HOL/

Data_Structures/

Array_Braun.thy

Brother12_Set.thy

Tries_Binary.thy

rISABELLE7ed1759fe1bd

src/HOL/Data_Structures/Array_Braun.thy

Loading...

src/HOL/Data_Structures/Brother12_Set.thy

Loading...

src/HOL/Data_Structures/Sorting.thy

Loading...

src/HOL/Data_Structures/Tries_Binary.thy

Loading...