Diffusion afp-devel 21a828811b10

locally deactivated simproc defined_all (following afp/81a8bf702c09)
21a828811b10
Actions

Tags

None

Subscribers

None

Description

locally deactivated simproc defined_all (following afp/81a8bf702c09)

Details

Provenance

Authored on

Parents

rAFP5c06d2f30891: replaced ceiling brackets by guillemots (following afp/fb851cb1ca27)

Branches

Unknown

Tags

Unknown

Event Timeline

traytel committed rAFP21a828811b10: locally deactivated simproc defined_all (following afp/81a8bf702c09).Sep 20 2020, 1:59 PM

Changes (2)

Path

Size

thys/

Goedel_HFSet_Semanticless/

Robinson_Arithmetic/

Robinson_Arithmetic.thy

rAFP21a828811b10

thys/Goedel_HFSet_Semanticless/Coding.thy

Loading...

thys/Robinson_Arithmetic/Robinson_Arithmetic.thy

Loading...