Diffusion afp-devel bfb55826ffc0

New entry Hood_Melville_Queue
bfb55826ffc0
Actions

Tags

None

Subscribers

None

Description

New entry Hood_Melville_Queue

Details

Provenance

Authored on

Parents

rAFP7f80012e5998: Adapted to 2021-RC2; renamed lemma ccc_Fn_nat -> ccc_Fn_2

Branches

Unknown

Tags

Unknown

Event Timeline

nipkow committed rAFPbfb55826ffc0: New entry Hood_Melville_Queue.Jan 18 2021, 5:09 PM

Changes (16)

Path

Size

metadata/

Hood_Melville_Queue

Hood_Melville_Queue.thy

Hood_Melville_Queue.html

statistics.html

rAFPbfb55826ffc0

metadata/metadata

Loading...

thys/Hood_Melville_Queue/Hood_Melville_Queue.thy

Loading...

thys/Hood_Melville_Queue/ROOT

Loading...

thys/Hood_Melville_Queue/document/root.bib

Loading...

thys/Hood_Melville_Queue/document/root.tex

Loading...

thys/ROOTS

Loading...

web/entries/Hood_Melville_Queue.html

Loading...

web/index.html

Loading...

web/rss.xml

Loading...

web/statistics.html

Loading...

web/topics.html

Loading...