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 (lemma)

Weak_ind [in Reductions]weak_refl [in Reductions]

weak_strong [in Settings]

weak_strong_t [in Settings]

weak_tau [in Reductions]

weak_taus [in Reductions]

wexpand_bisim [in Settings]

wexpand_refl [in Settings]

wexpand_trans [in Settings]

wexpansion1_comp [in Settings]

wexpansion1_ctrl [in Controlled]

wexpansion_comp [in Settings]

wexpansion_wexpand [in Settings]

wmonotonic_correct [in Theory]

wmonotonic_correct_t [in Theory]