Session GaleStewart_Games
View
theory dependencies
View
document
View
outline
Theories
MoreCoinductiveList2
MoreENat
MorePrefix
AlternatingLists
GaleStewartGames
GaleStewartDefensiveStrategies
GaleStewartDeterminedGames