Diffusion afp-devel b2708c764337

tidied up a few proofs
b2708c764337
Actions

Tags

None

Subscribers

None

Description

tidied up a few proofs

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rAFPc74a55e029d0: A bit of beautification

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rAFPb2708c764337: tidied up a few proofs.Apr 18 2022, 10:16 PM

Changes (3)

Path

Size

thys/

Incompleteness/

rAFPb2708c764337

thys/Incompleteness/Coding.thy

Loading...

thys/Incompleteness/Predicates.thy

Loading...

thys/Incompleteness/SyntaxN.thy

Loading...