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 (27 entries)
Notation 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 (1 entry)
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 (2 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 (1 entry)
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 (12 entries)

Global Index

C

canSurvive [definition, in problem]


F

filterSteps [definition, in problem]
filterStepsLength [lemma, in solution]
forallEquiv [lemma, in solution]


G

GeneralizedPuzzle [definition, in problem]
GeneralizedSolution [lemma, in problem]


L

Left [constructor, in problem]
longSkipsOk [lemma, in solution]


M

move [definition, in problem]
mustDrown [definition, in problem]
myForall [definition, in solution]
mySteps [definition, in solution]
myStepsSurvive [lemma, in solution]


N

numProp [lemma, in solution]


P

problem [library]
Puzzle [definition, in problem]


R

Right [constructor, in problem]
runSteps [definition, in problem]


S

smallNums [definition, in solution]
smallNumsLE [lemma, in solution]
Solution [lemma, in solution]
Solution [lemma, in problem]
solution [library]
Step [inductive, in problem]
stepsSurvive [definition, in problem]
survives [definition, in problem]


other

[ _ ; .. ; _ ] (vector_scope) [notation, in solution]



Notation Index

other

[ _ ; .. ; _ ] (vector_scope) [in solution]



Library Index

P

problem


S

solution



Lemma Index

F

filterStepsLength [in solution]
forallEquiv [in solution]


G

GeneralizedSolution [in problem]


L

longSkipsOk [in solution]


M

myStepsSurvive [in solution]


N

numProp [in solution]


S

smallNumsLE [in solution]
Solution [in solution]
Solution [in problem]



Constructor Index

L

Left [in problem]


R

Right [in problem]



Inductive Index

S

Step [in problem]



Definition Index

C

canSurvive [in problem]


F

filterSteps [in problem]


G

GeneralizedPuzzle [in problem]


M

move [in problem]
mustDrown [in problem]
myForall [in solution]
mySteps [in solution]


P

Puzzle [in problem]


R

runSteps [in problem]


S

smallNums [in solution]
stepsSurvive [in problem]
survives [in problem]



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 (27 entries)
Notation 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 (1 entry)
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 (2 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 (1 entry)
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 (12 entries)

This page has been generated by coqdoc