Diffusion afp-devel 9831a6481d33

Tiny simplifications
9831a6481d33
Actions

Tags

None

Subscribers

None

Description

Tiny simplifications

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rAFPd859db6acb75: A tiny bit of reorganisation

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rAFP9831a6481d33: Tiny simplifications.May 23 2022, 1:51 PM

Changes (1)

Path

Size

thys/

Incompleteness/

rAFP9831a6481d33

thys/Incompleteness/Coding.thy

Loading...