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 | (18 entries) |

Variable 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) |

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 | (1 entry) |

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 | (2 entries) |

Section 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 | (11 entries) |

# Global Index

## G

GeneralizedPuzzle [definition, in problem]GeneralPuzzle [section, in problem]

GeneralPuzzle.numServants [variable, in problem]

GeneralPuzzle.time [variable, in problem]

GeneralPuzzle.wineBarrels [variable, in problem]

## N

numServants [definition, in problem]## P

problem [library]Puzzle [definition, in problem]

## R

runStrategy [definition, in problem]## S

Solution [lemma, in problem]Strategy [definition, in problem]

strategyWorks [definition, in problem]

sumTrue [definition, in problem]

sumTrueAll [lemma, in problem]

## T

tastingPlan [definition, in problem]tastingPlanSurvival [definition, in problem]

time [definition, in problem]

## W

wineBarrels [definition, in problem]# Variable Index

## G

GeneralPuzzle.numServants [in problem]GeneralPuzzle.time [in problem]

GeneralPuzzle.wineBarrels [in problem]

# Library Index

## P

problem# Lemma Index

## S

Solution [in problem]sumTrueAll [in problem]

# Section Index

## G

GeneralPuzzle [in problem]# Definition Index

## G

GeneralizedPuzzle [in problem]## N

numServants [in problem]## P

Puzzle [in problem]## R

runStrategy [in problem]## S

Strategy [in problem]strategyWorks [in problem]

sumTrue [in problem]

## T

tastingPlan [in problem]tastingPlanSurvival [in problem]

time [in problem]

## W

wineBarrels [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 | (18 entries) |

Variable 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) |

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 | (1 entry) |

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 | (2 entries) |

Section 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 | (11 entries) |

This page has been generated by coqdoc