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 | (69 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 | (5 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 | (34 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 | (7 entries) |

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

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

# Global Index

## A

AtoB [projection, in Lib.Iso]AtoBack [projection, in Lib.Iso]

## B

BoardConfig [definition, in problem]boardConfigIso [lemma, in solution]

BtoA [projection, in Lib.Iso]

BtoBack [projection, in Lib.Iso]

## C

Coin [inductive, in problem]coinFin2 [lemma, in solution]

## D

dec_eq_fin' [lemma, in problem]dec_eq_fin [lemma, in problem]

## F

FFin [definition, in solution]finIso [lemma, in solution]

finite [definition, in Lib.Omniscient]

Finite [library]

finiteFin [lemma, in solution]

finiteFinite [lemma, in Lib.Omniscient]

finiteIso [lemma, in Lib.Omniscient]

finiteMapped [definition, in Lib.Finite]

finiteProd [lemma, in Lib.Omniscient]

finiteSigma [lemma, in Lib.Omniscient]

finiteStrategy [lemma, in solution]

finiteSum [lemma, in Lib.Omniscient]

finiteTrue [lemma, in Lib.Omniscient]

finSetTimes [lemma, in solution]

fin_case_FS [lemma, in solution]

fin_case_F1 [lemma, in solution]

fin_case [lemma, in solution]

fin0empty [lemma, in solution]

fin1is0 [lemma, in problem]

FIso [constructor, in Lib.Finite]

flip [definition, in problem]

flipBoard [definition, in problem]

FPlus [constructor, in Lib.Finite]

FPlusiso [lemma, in Lib.Finite]

friend_points [projection, in problem]

FTimes [constructor, in Lib.Finite]

FTimesiso [lemma, in Lib.Finite]

func [lemma, in Lib.Finite]

FuncCong [lemma, in Lib.Iso]

F0 [constructor, in Lib.Finite]

F0iso [lemma, in Lib.Finite]

F1 [constructor, in Lib.Finite]

F1iso [lemma, in Lib.Finite]

## G

GeneralizedSolution [lemma, in solution]GeneralizedSolution [lemma, in problem]

## H

Heads [constructor, in problem]## I

Iso [library]## O

omni [definition, in Lib.Omniscient]omniFinite [lemma, in Lib.Omniscient]

omniIso [lemma, in Lib.Omniscient]

omniProd [lemma, in Lib.Omniscient]

Omniscient [library]

omniSum [lemma, in Lib.Omniscient]

## P

problem [library]Puzzle [definition, in problem]

PuzzleSolution [definition, in solution]

PuzzleSolution [lemma, in problem]

## R

Refl [lemma, in Lib.Iso]## S

settimes [definition, in solution]solution [library]

Strategy [record, in problem]

Sym [definition, in Lib.Iso]

## T

T [record, in Lib.Iso]T [inductive, in Lib.Finite]

Tails [constructor, in problem]

Trans [lemma, in Lib.Iso]

## Y

youWin [definition, in problem]youWin1 [definition, in problem]

you_flip [projection, in problem]

# Library Index

## F

Finite## I

Iso## O

Omniscient## P

problem## S

solution# Lemma Index

## B

boardConfigIso [in solution]## C

coinFin2 [in solution]## D

dec_eq_fin' [in problem]dec_eq_fin [in problem]

## F

finIso [in solution]finiteFin [in solution]

finiteFinite [in Lib.Omniscient]

finiteIso [in Lib.Omniscient]

finiteProd [in Lib.Omniscient]

finiteSigma [in Lib.Omniscient]

finiteStrategy [in solution]

finiteSum [in Lib.Omniscient]

finiteTrue [in Lib.Omniscient]

finSetTimes [in solution]

fin_case_FS [in solution]

fin_case_F1 [in solution]

fin_case [in solution]

fin0empty [in solution]

fin1is0 [in problem]

FPlusiso [in Lib.Finite]

FTimesiso [in Lib.Finite]

func [in Lib.Finite]

FuncCong [in Lib.Iso]

F0iso [in Lib.Finite]

F1iso [in Lib.Finite]

## G

GeneralizedSolution [in solution]GeneralizedSolution [in problem]

## O

omniFinite [in Lib.Omniscient]omniIso [in Lib.Omniscient]

omniProd [in Lib.Omniscient]

omniSum [in Lib.Omniscient]

## P

PuzzleSolution [in problem]## R

Refl [in Lib.Iso]## T

Trans [in Lib.Iso]# Constructor Index

## F

FIso [in Lib.Finite]FPlus [in Lib.Finite]

FTimes [in Lib.Finite]

F0 [in Lib.Finite]

F1 [in Lib.Finite]

## H

Heads [in problem]## T

Tails [in problem]# Projection Index

## A

AtoB [in Lib.Iso]AtoBack [in Lib.Iso]

## B

BtoA [in Lib.Iso]BtoBack [in Lib.Iso]

## F

friend_points [in problem]## Y

you_flip [in problem]# Inductive Index

## C

Coin [in problem]## T

T [in Lib.Finite]# Definition Index

## B

BoardConfig [in problem]## F

FFin [in solution]finite [in Lib.Omniscient]

finiteMapped [in Lib.Finite]

flip [in problem]

flipBoard [in problem]

## O

omni [in Lib.Omniscient]## P

Puzzle [in problem]PuzzleSolution [in solution]

## S

settimes [in solution]Sym [in Lib.Iso]

## Y

youWin [in problem]youWin1 [in problem]

# Record Index

## S

Strategy [in problem]## T

T [in Lib.Iso]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 | (69 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 | (5 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 | (34 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 | (7 entries) |

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

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

This page has been generated by coqdoc