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 | (2841 entries) |

Instance 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 | (149 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 | (50 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 | (22 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 | (1991 entries) |

Section 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 | (35 entries) |

Notation 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 | (41 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 | (17 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 | (9 entries) |

Abbreviation 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 | (4 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 | (345 entries) |

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

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

Variable 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 | (148 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 | (22 entries) |

## P (lemma)

Pacc [in ALEA.Rplus]pchoice_simpl [in ALEA.Prog]

Pdec [in ALEA.Rplus]

plus_Nmult_distr [in ALEA.Uprop]

plus_lt_1_decimal_plus [in ALEA.Rplus]

plus_lt_1_decimal [in ALEA.Rplus]

plus_NRpmult_distr [in ALEA.Rplus]

pmin_le_compat [in ALEA.Uprop]

pmin_le [in ALEA.Uprop]

pmin_0 [in ALEA.Uprop]

pmin_plus_eq [in ALEA.Uprop]

pmin_esp_le [in ALEA.Uprop]

pmin_esp_S [in ALEA.Uprop]

pone_prod [in ALEA.Prog]

post_field_notz [in ALEA.RpRing]

PP_PS [in ALEA.Markov]

pred_size_eq [in ALEA.Cover]

pred_size_le [in ALEA.Cover]

prod_distr_indep [in ALEA.Prog]

prod_distr_com_sym [in ALEA.Prog]

prod_distr_com_lub [in ALEA.Prog]

prod_distr_com_inv [in ALEA.Prog]

prod_distr_com_mult [in ALEA.Prog]

prod_distr_com_plus [in ALEA.Prog]

prod_distr_com_one [in ALEA.Prog]

prod_distr_com_cte [in ALEA.Prog]

prod_distr_com_rect [in ALEA.Prog]

prod_distr_com_eq_compat [in ALEA.Prog]

prod_distr_snd_eq [in ALEA.Prog]

prod_distr_fst_eq [in ALEA.Prog]

prod_distr_snd [in ALEA.Prog]

prod_distr_fst [in ALEA.Prog]

prod_distr_rect [in ALEA.Prog]

Prod_distr_simpl [in ALEA.Prog]

Prod_simpl [in ALEA.Uprop]

prod_minus [in ALEA.Uprop]

prod_le [in ALEA.Uprop]

prod_zero_elim [in ALEA.Uprop]

prod_not_zero [in ALEA.Uprop]

prod_zero [in ALEA.Uprop]

prod_le_compat [in ALEA.Uprop]

prod_eq_compat [in ALEA.Uprop]

prod_decr [in ALEA.Uprop]

prod_S_lift [in ALEA.Uprop]

prod_1 [in ALEA.Uprop]

prod_S [in ALEA.Uprop]

prod_0 [in ALEA.Uprop]

pS_simpl [in ALEA.IterFlip]

PS_PP [in ALEA.Markov]

p_le [in ALEA.IterFlip]

p_eq [in ALEA.IterFlip]

p_incr [in ALEA.IterFlip]

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 | (2841 entries) |

Instance 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 | (149 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 | (50 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 | (22 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 | (1991 entries) |

Section 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 | (35 entries) |

Notation 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 | (41 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 | (17 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 | (9 entries) |

Abbreviation 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 | (4 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 | (345 entries) |

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

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

Variable 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 | (148 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 | (22 entries) |