Diffusion afp-devel 8b7442a47909

updated LaTeX citations
8b7442a47909
Actions

Tags

None

Subscribers

None

Description

updated LaTeX citations

Details

Provenance

Authored on

Parents

rAFP97a30577e8c7: new entry Q0_Metatheory

Branches

Unknown

Tags

Unknown

Event Timeline

traytel committed rAFP8b7442a47909: updated LaTeX citations.Nov 15 2023, 8:27 PM

Changes (4)

Path

Size

thys/

Q0_Metatheory/

Consistency.thy

Elementary_Logic.thy

rAFP8b7442a47909

thys/Q0_Metatheory/Consistency.thy

Loading...

thys/Q0_Metatheory/Elementary_Logic.thy

Loading...

thys/Q0_Metatheory/Semantics.thy

Loading...

thys/Q0_Metatheory/Syntax.thy

Loading...