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