Global Index A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _ other (25 entries)
Library Index A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _ other (2 entries)
Lemma Index A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _ other (9 entries)
Constructor Index A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _ other (3 entries)
Inductive Index A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _ other (3 entries)
Definition Index A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _ other (8 entries)

Global Index

A

action [definition, in problem]
action_def [lemma, in solution]
AllWin [constructor, in problem]


C

CanForce [constructor, in problem]


L

LoseFrom [inductive, in problem]
LoseFrom_n [lemma, in solution]
LoseFrom0 [lemma, in solution]


M

mod_add_rem [lemma, in solution]
mod_principle [lemma, in solution]


P

pre_strategy [definition, in solution]
problem [library]
Puzzle [definition, in problem]
PuzzleSolution [lemma, in problem]


S

solution [lemma, in solution]
solution [library]
solution_all [lemma, in solution]
state [definition, in problem]
strategy [definition, in solution]


T

total [definition, in problem]


V

validDiff [inductive, in problem]
validDiff_inbounds [constructor, in problem]


W

WinFrom [inductive, in problem]
WinFrom_n [lemma, in solution]
winning_strategy [definition, in solution]
winning_pre_strategy [definition, in solution]



Library Index

P

problem


S

solution



Lemma Index

A

action_def [in solution]


L

LoseFrom_n [in solution]
LoseFrom0 [in solution]


M

mod_add_rem [in solution]
mod_principle [in solution]


P

PuzzleSolution [in problem]


S

solution [in solution]
solution_all [in solution]


W

WinFrom_n [in solution]



Constructor Index

A

AllWin [in problem]


C

CanForce [in problem]


V

validDiff_inbounds [in problem]



Inductive Index

L

LoseFrom [in problem]


V

validDiff [in problem]


W

WinFrom [in problem]



Definition Index

A

action [in problem]


P

pre_strategy [in solution]
Puzzle [in problem]


S

state [in problem]
strategy [in solution]


T

total [in problem]


W

winning_strategy [in solution]
winning_pre_strategy [in solution]



Global Index A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _ other (25 entries)
Library Index A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _ other (2 entries)
Lemma Index A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _ other (9 entries)
Constructor Index A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _ other (3 entries)
Inductive Index A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _ other (3 entries)
Definition Index A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _ other (8 entries)

This page has been generated by coqdoc