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 | _ | (296 entries) |

Axiom 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 | _ | (1 entry) |

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 | _ | (158 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 | _ | (16 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 | _ | (6 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 | _ | (108 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 | _ | (7 entries) |

## T

tail [definition, in vector]Test [constructor, in minski]

transition [inductive, in minski]

transition_eq_transition [lemma, in minski]

transition_final [lemma, in minski]

transition_refl [constructor, in minski]

transition_refl' [lemma, in minski]

transition_step [lemma, in minski]

transition_step' [lemma, in minski]

transition_transition [lemma, in minski]

truncate [definition, in vector]

truncate_append [lemma, in vector]

truncate_change [lemma, in vector]

truncate_eq_from_eq [lemma, in vector]

truncate_id [lemma, in vector]

truncate_overwrite [lemma, in vector]

truncate_overwrite_id [lemma, in vector]