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

## D

Dbot [projection, in ALEA.Ccpo]dec [definition, in ALEA.Sets]

Dec [record, in ALEA.Markov]

dec [definition, in ALEA.Markov]

DecidEq [record, in ALEA.IsDiscrete]

decimal [definition, in ALEA.Rplus]

decimalN2Rp [lemma, in ALEA.Rplus]

decimalN2Rp_eq [lemma, in ALEA.Rplus]

decimalR0 [lemma, in ALEA.Rplus]

decimalU1 [lemma, in ALEA.Rplus]

decimalU1_eq [lemma, in ALEA.Rplus]

decimalU2Rp [lemma, in ALEA.Rplus]

decimalU2Rp_eq [lemma, in ALEA.Rplus]

decimal_U1div0 [lemma, in ALEA.Rplus]

decimal_minus_lt1 [lemma, in ALEA.Rplus]

decimal_le [lemma, in ALEA.Rplus]

decimal_Rpplus_simpl_over [lemma, in ALEA.Rplus]

decimal_Rpplus_simpl_ok [lemma, in ALEA.Rplus]

decimal_0_eq_floor [lemma, in ALEA.Rplus]

decimal_eq_R0 [lemma, in ALEA.Rplus]

decimal_frac_le [lemma, in ALEA.Rplus]

decimal_lt1 [lemma, in ALEA.Rplus]

decimal_mkRp_0 [lemma, in ALEA.Rplus]

decimal_0_equiv [lemma, in ALEA.Rplus]

decimal_0 [lemma, in ALEA.Rplus]

decimal_mkRp_frac [lemma, in ALEA.Rplus]

decimal_frac_equiv [lemma, in ALEA.Rplus]

decimal_frac [lemma, in ALEA.Rplus]

dec_demi [variable, in ALEA.Bernoulli]

dec_exists_lt [lemma, in ALEA.Misc]

dec_sig_lt [lemma, in ALEA.Misc]

dec_union [lemma, in ALEA.Cover]

dec_inter [lemma, in ALEA.Cover]

dec_ge [definition, in ALEA.Cover]

dec_gt [definition, in ALEA.Cover]

dec_lt [definition, in ALEA.Cover]

dec_le [definition, in ALEA.Cover]

dec2bool [definition, in ALEA.Sets]

diag [definition, in ALEA.Ccpo]

diag_shift [lemma, in ALEA.Ccpo]

diag_le_compat [lemma, in ALEA.Ccpo]

diff [definition, in ALEA.Uprop]

diff_bary_left_eq [lemma, in ALEA.Uprop]

diff_triangular [lemma, in ALEA.Uprop]

diff_Uplus_le [lemma, in ALEA.Uprop]

diff_Uminus [lemma, in ALEA.Uprop]

diff_plus_ok [lemma, in ALEA.Uprop]

diff_zero [lemma, in ALEA.Uprop]

diff_sym [lemma, in ALEA.Uprop]

diff_eq [lemma, in ALEA.Uprop]

discr [record, in ALEA.Probas]

Discrete [section, in ALEA.IsDiscrete]

Discrete [definition, in ALEA.Probas]

discrete [definition, in ALEA.Probas]

discrete_commute [lemma, in ALEA.Prog]

Discrete_domain [record, in ALEA.IsDiscrete]

Discrete_simpl [lemma, in ALEA.Probas]

discrete_continuous [lemma, in ALEA.Probas]

discrete_stable_mult [lemma, in ALEA.Probas]

discrete_stable_plus [lemma, in ALEA.Probas]

discrete_stable_inv [lemma, in ALEA.Probas]

discrete_simpl [lemma, in ALEA.Probas]

discrete_mon [instance, in ALEA.Probas]

Discrete.A [variable, in ALEA.IsDiscrete]

Discrete.A_decidable [variable, in ALEA.IsDiscrete]

Discrete.A_discrete [variable, in ALEA.IsDiscrete]

Discrete.d [variable, in ALEA.IsDiscrete]

distr [record, in ALEA.Probas]

DistrTactic [library]

distr_indep_mult [lemma, in ALEA.Prog]

distr_lub_simpl [lemma, in ALEA.Probas]

distr_div_simpl [lemma, in ALEA.Probas]

distr_div [definition, in ALEA.Probas]

distr_scale_zero [lemma, in ALEA.Probas]

distr_scale_one [lemma, in ALEA.Probas]

distr_scale_simpl [lemma, in ALEA.Probas]

distr_scale_assoc [lemma, in ALEA.Probas]

distr_scale [definition, in ALEA.Probas]

distr_mult_assoc [lemma, in ALEA.Probas]

distr_mult [definition, in ALEA.Probas]

distr_null [definition, in ALEA.Probas]

distr_sdistr [definition, in ALEA.SProbas]

distr_restr_simpl [lemma, in ALEA.Cover]

distr_restr [definition, in ALEA.Cover]

domain_is_discrete [lemma, in ALEA.IsDiscrete]

double_app [definition, in ALEA.Ccpo]

double_lub_shift [lemma, in ALEA.Ccpo]

double_lub_diag [lemma, in ALEA.Ccpo]

DP [definition, in ALEA.Rplus]

d_coverP_not_empty [lemma, in ALEA.Cover]

d_coverP_exists [lemma, in ALEA.Cover]

d_coverP [lemma, in ALEA.Cover]

D0 [projection, in ALEA.Ccpo]

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