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 | _ | (204 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 | _ | (124 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 | _ | (4 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 | _ | (5 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 | _ | (61 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 | _ | (10 entries) |

## W

Weak [definition, in Reductions]WeakMonotonic [library]

Weak_ind [lemma, in Reductions]

weak_refl [lemma, in Reductions]

weak_strong [lemma, in Settings]

weak_strong_t [lemma, in Settings]

weak_tau [lemma, in Reductions]

weak_taus [lemma, in Reductions]

wexpand [definition, in Settings]

wexpand_bisim [lemma, in Settings]

wexpand_refl [lemma, in Settings]

wexpand_trans [lemma, in Settings]

wexpansion [definition, in Settings]

wexpansion1 [definition, in Settings]

wexpansion1_comp [lemma, in Settings]

wexpansion1_ctrl [lemma, in Controlled]

wexpansion_comp [lemma, in Settings]

wexpansion_wexpand [lemma, in Settings]

wmonotonic [inductive, in Settings]

wmonotonic_correct [lemma, in Theory]

wmonotonic_correct_t [lemma, in Theory]