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