Diffusion afp-devel 5a77ba9e257f

more systematic self-citations
5a77ba9e257f
Actions

Tags

None

Subscribers

None

Description

more systematic self-citations

Details

Provenance

Authored on

Parents

rAFPda460a208d37: getting rid of inj_on_image_mem_iff_alt

Branches

Unknown

Tags

Unknown

Event Timeline

blanchette committed rAFP5a77ba9e257f: more systematic self-citations.May 25 2020, 9:42 AM

Changes (6)

Path

Size

thys/

Functional_Ordered_Resolution_Prover/

document/

Lambda_Free_KBOs/

document/

Lambda_Free_RPOs/

document/

Nested_Multisets_Ordinals/

document/

Ordered_Resolution_Prover/

document/

Sort_Encodings/

document/

rAFP5a77ba9e257f

thys/Functional_Ordered_Resolution_Prover/document/root.tex

Loading...

thys/Lambda_Free_KBOs/document/root.tex

Loading...

thys/Lambda_Free_RPOs/document/root.tex

Loading...

thys/Nested_Multisets_Ordinals/document/root.tex

Loading...

thys/Ordered_Resolution_Prover/document/root.tex

Loading...

thys/Sort_Encodings/document/root.tex

Loading...