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