Diffusion afp-devel fb851cb1ca27

replaced ceiling brackets by guillemots
fb851cb1ca27
Actions

Tags

None

Subscribers

None

Description

replaced ceiling brackets by guillemots

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rAFP79d06abed2e0: consistency is provable

Branches

Unknown

Tags

Unknown

Event Timeline

traytel mentioned this in rAFP5c06d2f30891: replaced ceiling brackets by guillemots (following afp/fb851cb1ca27).Sep 20 2020, 2:06 PM

Changes (8)

Path

Size

thys/

Incompleteness/

Coding_Predicates.thy

Pf_Predicates.thy

Pseudo_Coding.thy

rAFPfb851cb1ca27

thys/Incompleteness/Coding.thy

Loading...

thys/Incompleteness/Coding_Predicates.thy

Loading...

thys/Incompleteness/Goedel_I.thy

Loading...

thys/Incompleteness/Goedel_II.thy

Loading...

thys/Incompleteness/II_Prelims.thy

Loading...

thys/Incompleteness/Pf_Predicates.thy

Loading...

thys/Incompleteness/Pseudo_Coding.thy

Loading...

thys/Incompleteness/Quote.thy

Loading...