HomeIsabelle/Phabricator
Diffusion afp-devel b388d0d42d35

new entry GaleStewart_Games
b388d0d42d35
Actions

Description

new entry GaleStewart_Games

Details

Provenance
Andreas Lochbihler <mail@andreas-lochbihler.de>Authored on
Parents
rAFPc05cd976ec65: fixed the ROOT file ofr BenOr_Kozen_Reif
Branches
Unknown
Tags
Unknown

Event Timeline

Andreas Lochbihler <mail@andreas-lochbihler.de> committed rAFPb388d0d42d35: new entry GaleStewart_Games.Apr 28 2021, 10:05 AM

Changes (15)

PathSize

rAFPb388d0d42d35

View Options

thys/GaleStewart_Games/AlternatingLists.thy

Loading...
View Options

thys/GaleStewart_Games/FilteredList.thy

Loading...
View Options

thys/GaleStewart_Games/GaleStewartDefensiveStrategies.thy

Loading...
View Options

thys/GaleStewart_Games/GaleStewartDeterminedGames.thy

Loading...
View Options

thys/GaleStewart_Games/GaleStewartGames.thy

Loading...
View Options

thys/GaleStewart_Games/MoreCoinductiveList2.thy

Loading...
View Options

thys/GaleStewart_Games/MoreENat.thy

Loading...
View Options

thys/GaleStewart_Games/MorePrefix.thy

Loading...
View Options

thys/GaleStewart_Games/ROOT

Loading...
View Options

thys/GaleStewart_Games/document/root.bib

Loading...
View Options

thys/GaleStewart_Games/document/root.tex

Loading...
View Options

thys/ROOTS

Loading...