Diffusion afp-devel 6d5f8fb53ac6

fixed looping proofs
6d5f8fb53ac6
Actions

Tags

None

Subscribers

None

Description

fixed looping proofs

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rAFP45600ccea74a: dropped reference to dead clone

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rAFP6d5f8fb53ac6: fixed looping proofs.Jan 30 2023, 11:44 PM

Changes (4)

Path

Size

thys/

Category3/

Ordinal_Partitions/

Omega_Omega.thy

Source_Coding_Theorem/

Source_Coding_Theorem.thy

rAFP6d5f8fb53ac6

thys/Category3/Limit.thy

Loading...

thys/Ordinal_Partitions/Omega_Omega.thy

Loading...

thys/Ordinal_Partitions/Partitions.thy

Loading...

thys/Source_Coding_Theorem/Source_Coding_Theorem.thy

Loading...