| 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 | (241 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 | (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 | (11 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 | (6 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 | (77 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 | (51 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 | (14 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 | (18 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 | (13 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 | (15 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 | (30 entries) |
Global Index
A
avar [inductive, in Definitions]avar_f [constructor, in Definitions]
avar_b [constructor, in Definitions]
B
binds_equiv_binds_n [lemma, in StructuralProperties]binds_to_binds_n [lemma, in StructuralProperties]
binds_n_to_binds [lemma, in StructuralProperties]
binds_n [inductive, in StructuralProperties]
bn_cons [constructor, in StructuralProperties]
bn_found [constructor, in StructuralProperties]
C
CloseTvar [instance, in Definitions]CloseTyp [instance, in Definitions]
close_lc_typ [lemma, in OperationProperties]
close_lc_avar [lemma, in OperationProperties]
close_lc [abbreviation, in OperationProperties]
close_rec_typ [definition, in Definitions]
close_rec_tvar [definition, in Definitions]
D
Definitions [library]E
env [abbreviation, in Definitions]env_measure_app [lemma, in Misc]
env_measure_cons [lemma, in Misc]
env_measure [definition, in Misc]
EqAvar [instance, in Definitions]
Equivalence [section, in StrongKernel]
F
free_all [lemma, in StructuralProperties]fresh_inj [abbreviation, in OperationProperties]
FvClose [section, in OperationProperties]
FvEnv [instance, in Definitions]
FvOpen [section, in OperationProperties]
FvTvar [instance, in Definitions]
FvTyp [instance, in Definitions]
fv_add_close_typ [lemma, in OperationProperties]
fv_add_close_avar [lemma, in OperationProperties]
fv_add_close [abbreviation, in OperationProperties]
fv_close_typ [lemma, in OperationProperties]
fv_close_avar [lemma, in OperationProperties]
fv_close [abbreviation, in OperationProperties]
fv_close_self_typ [lemma, in OperationProperties]
fv_close_self_avar [lemma, in OperationProperties]
fv_close_self [abbreviation, in OperationProperties]
fv_open_typ [lemma, in OperationProperties]
fv_open_avar [lemma, in OperationProperties]
fv_open [abbreviation, in OperationProperties]
fv_union [lemma, in Definitions]
fv_typ [definition, in Definitions]
fv_avar [definition, in Definitions]
fv_unpack [lemma, in Definitions]
fv_values [definition, in Definitions]
I
is_all_dec [definition, in Misc]is_all [definition, in Misc]
is_fun_dec [definition, in Misc]
is_fun [definition, in Misc]
is_var_dec [definition, in Misc]
is_var [definition, in Misc]
is_top_dec [definition, in Misc]
is_top [definition, in Misc]
K
k_subty_to_sk_subty [lemma, in StrongKernel]k_all [constructor, in StrongKernel]
k_fun [constructor, in StrongKernel]
k_tvar [constructor, in StrongKernel]
k_tvrefl [constructor, in StrongKernel]
k_top [constructor, in StrongKernel]
k_subty [inductive, in StrongKernel]
L
LcFtyp [instance, in Definitions]LcOpenClosingProperties [section, in OperationProperties]
LcTvar [instance, in Definitions]
lc_relax_typ [lemma, in OperationProperties]
lc_relax_avar [lemma, in OperationProperties]
lc_relax [abbreviation, in OperationProperties]
lc_typ_all [constructor, in Definitions]
lc_typ_fun [constructor, in Definitions]
lc_typ_var [constructor, in Definitions]
lc_typ_top [constructor, in Definitions]
lc_typ_at [inductive, in Definitions]
lc_af [constructor, in Definitions]
lc_ab [constructor, in Definitions]
lc_avar_at [inductive, in Definitions]
M
measure [definition, in StrongKernel]Misc [library]
N
narrow [inductive, in StructuralProperties]narrow_hyp [lemma, in StructuralProperties]
narrow_binds_n [lemma, in StructuralProperties]
narrow_on [definition, in StructuralProperties]
n_cons [constructor, in StructuralProperties]
n_first [constructor, in StructuralProperties]
O
OpenFreshInj [section, in OperationProperties]OpenFreshInj.z [variable, in OperationProperties]
OpenTvar [instance, in Definitions]
OpenTyp [instance, in Definitions]
open_substi_rewrite2 [lemma, in OperationProperties]
open_substi_rewrite [lemma, in OperationProperties]
open_fresh_inj_typ [lemma, in OperationProperties]
open_fresh_inj_avar [lemma, in OperationProperties]
open_left_inv_typ [lemma, in OperationProperties]
open_left_inv_avar [lemma, in OperationProperties]
open_left_inv [abbreviation, in OperationProperties]
open_lc_inv_typ [lemma, in OperationProperties]
open_lc_inv_avar [lemma, in OperationProperties]
open_lc_inv [abbreviation, in OperationProperties]
open_lc_le_typ [lemma, in OperationProperties]
open_lc_le_avar [lemma, in OperationProperties]
open_lc_le [abbreviation, in OperationProperties]
open_lc_typ [lemma, in OperationProperties]
open_lc_avar [lemma, in OperationProperties]
open_lc [abbreviation, in OperationProperties]
open_rec_typ [definition, in Definitions]
open_rec_tvar [definition, in Definitions]
open_subst_subty [lemma, in StructuralProperties]
open_typ_same_measure [lemma, in Misc]
OpeProperties [section, in OpeSub]
OperationProperties [library]
OpeSub [library]
ope_list_fv_env_subset [lemma, in StrongKernel]
ope_sub_stareat_sound [lemma, in StrongKernel]
ope_sub_app_r [lemma, in OpeSub]
ope_sub_app [lemma, in OpeSub]
ope_sub_nil [lemma, in OpeSub]
ope_sub_refl [lemma, in OpeSub]
ope_sub_trans [lemma, in OpeSub]
ope_narrow_subty [lemma, in OpeSub]
ope_narrow_var [lemma, in OpeSub]
ope_sub_length [lemma, in OpeSub]
ope_sub [inductive, in OpeSub]
os_keep [constructor, in OpeSub]
os_drop [constructor, in OpeSub]
os_nil [constructor, in OpeSub]
P
Predicates [section, in Misc]R
Reflexivity [section, in StrongKernel]renaming_subty [lemma, in StructuralProperties]
S
sa_all [constructor, in StrongKernel]sa_fun [constructor, in StrongKernel]
sa_tvar [constructor, in StrongKernel]
sa_tvrefl [constructor, in StrongKernel]
sa_top [constructor, in StrongKernel]
sksub_weaken_l [lemma, in StrongKernel]
sksub_weaken_gen [lemma, in StrongKernel]
sksub_refl [definition, in StrongKernel]
sk_subty_equiv_stareat [lemma, in StrongKernel]
sk_subty_to_stareat [lemma, in StrongKernel]
sk_subty_sound [lemma, in StrongKernel]
sk_subty_to_subty [lemma, in StrongKernel]
sk_subty_equiv_sk_subty' [lemma, in StrongKernel]
sk_subty'_to_sk_subty [lemma, in StrongKernel]
sk_subty_to_sk_subty' [lemma, in StrongKernel]
sk_all' [constructor, in StrongKernel]
sk_fun' [constructor, in StrongKernel]
sk_tvar' [constructor, in StrongKernel]
sk_tvrefl' [constructor, in StrongKernel]
sk_top' [constructor, in StrongKernel]
sk_subty' [inductive, in StrongKernel]
sk_all [constructor, in StrongKernel]
sk_fun [constructor, in StrongKernel]
sk_tvar [constructor, in StrongKernel]
sk_tvrefl [constructor, in StrongKernel]
sk_top [constructor, in StrongKernel]
sk_subty [inductive, in StrongKernel]
Soundness [section, in StrongKernel]
stareat [inductive, in StrongKernel]
stareat_terminates [definition, in StrongKernel]
stareat_termination [inductive, in StrongKernel]
stareat_strengthening [lemma, in StrongKernel]
stareat_to_sk_subty [lemma, in StrongKernel]
stareat_sound [lemma, in StrongKernel]
StrongKernel [library]
StructuralProperties [section, in StructuralProperties]
StructuralProperties [library]
StructuralProperties.Reflexivity [section, in StructuralProperties]
StructuralProperties.Transitivity [section, in StructuralProperties]
st_all [constructor, in Definitions]
st_fun [constructor, in Definitions]
st_bind [constructor, in Definitions]
st_vrefl [constructor, in Definitions]
st_top [constructor, in Definitions]
st_all [constructor, in StrongKernel]
st_fun [constructor, in StrongKernel]
st_tvar [constructor, in StrongKernel]
st_tvrefl [constructor, in StrongKernel]
st_top [constructor, in StrongKernel]
SubstFresh [section, in OperationProperties]
SubstFresh.x [variable, in OperationProperties]
SubstFresh.y [variable, in OperationProperties]
SubstFvarProps [section, in OperationProperties]
SubstFvarProps.subst_open_comm [variable, in OperationProperties]
SubstFvarProps.t [variable, in OperationProperties]
SubstFvarProps.T [variable, in OperationProperties]
SubstFvarProps.x [variable, in OperationProperties]
SubstFvarProps.y [variable, in OperationProperties]
SubstFvarProps.z [variable, in OperationProperties]
SubstiEnv [instance, in StructuralProperties]
SubstIntro [section, in OperationProperties]
SubstOpenComm [section, in OperationProperties]
SubstOpenComm.x [variable, in OperationProperties]
SubstOpenComm.y [variable, in OperationProperties]
SubstTvar [instance, in Definitions]
SubstTyp [instance, in Definitions]
subst_intro_typ [lemma, in OperationProperties]
subst_intro [abbreviation, in OperationProperties]
subst_open_comm_typ [lemma, in OperationProperties]
subst_open_comm_avar [lemma, in OperationProperties]
subst_open_comm [abbreviation, in OperationProperties]
subst_fvar [definition, in OperationProperties]
subst_fresh_typ [lemma, in OperationProperties]
subst_fresh_avar [lemma, in OperationProperties]
subst_fresh [abbreviation, in OperationProperties]
subst_typ [definition, in Definitions]
subst_tvar [definition, in Definitions]
subst_env [definition, in StructuralProperties]
subty [inductive, in Definitions]
subty_subst [lemma, in StructuralProperties]
subty_subst_gen [lemma, in StructuralProperties]
subty_trans [lemma, in StructuralProperties]
subty_refl [definition, in StructuralProperties]
T
Termination [section, in StrongKernel]total [definition, in Misc]
total_app [lemma, in Misc]
trans_and_narrow [definition, in StructuralProperties]
trans_hyp [lemma, in StructuralProperties]
trans_on [definition, in StructuralProperties]
typ [inductive, in Definitions]
typ_all [constructor, in Definitions]
typ_fun [constructor, in Definitions]
typ_var [constructor, in Definitions]
typ_top [constructor, in Definitions]
typ_struct_measure_ge_1 [lemma, in Misc]
typ_struct_measure [definition, in Misc]
W
Weakening [section, in StrongKernel]weaken_subty [definition, in StructuralProperties]
weaken_subty_gen [lemma, in StructuralProperties]
wf_fv_is_dom [lemma, in Misc]
wf_var_in [lemma, in Misc]
wf_uniq [lemma, in Misc]
wf_deapp [lemma, in Misc]
wf_decons [lemma, in Misc]
wf_cons [constructor, in Misc]
wf_nil [constructor, in Misc]
wf_env [inductive, in Misc]
other
_ ⊢F _ <⦂ _ [notation, in Definitions]_ ⊆<⦂ _ [notation, in OpeSub]
[ _ ] _ >> _ <⦂ _ << _ [notation, in StrongKernel]
[ _ , _ ] _ ⊢k _ <⦂ _ ⊣ _ [notation, in StrongKernel]
[ _ ] _ ⊢k _ <⦂ _ ⊣ _ [notation, in StrongKernel]
[ _ ] _ ⊢k _ <⦂ _ [notation, in StrongKernel]
Notation Index
other
_ ⊢F _ <⦂ _ [in Definitions]_ ⊆<⦂ _ [in OpeSub]
[ _ ] _ >> _ <⦂ _ << _ [in StrongKernel]
[ _ , _ ] _ ⊢k _ <⦂ _ ⊣ _ [in StrongKernel]
[ _ ] _ ⊢k _ <⦂ _ ⊣ _ [in StrongKernel]
[ _ ] _ ⊢k _ <⦂ _ [in StrongKernel]
Variable Index
O
OpenFreshInj.z [in OperationProperties]S
SubstFresh.x [in OperationProperties]SubstFresh.y [in OperationProperties]
SubstFvarProps.subst_open_comm [in OperationProperties]
SubstFvarProps.t [in OperationProperties]
SubstFvarProps.T [in OperationProperties]
SubstFvarProps.x [in OperationProperties]
SubstFvarProps.y [in OperationProperties]
SubstFvarProps.z [in OperationProperties]
SubstOpenComm.x [in OperationProperties]
SubstOpenComm.y [in OperationProperties]
Library Index
D
DefinitionsM
MiscO
OperationPropertiesOpeSub
S
StrongKernelStructuralProperties
Lemma Index
B
binds_equiv_binds_n [in StructuralProperties]binds_to_binds_n [in StructuralProperties]
binds_n_to_binds [in StructuralProperties]
C
close_lc_typ [in OperationProperties]close_lc_avar [in OperationProperties]
E
env_measure_app [in Misc]env_measure_cons [in Misc]
F
free_all [in StructuralProperties]fv_add_close_typ [in OperationProperties]
fv_add_close_avar [in OperationProperties]
fv_close_typ [in OperationProperties]
fv_close_avar [in OperationProperties]
fv_close_self_typ [in OperationProperties]
fv_close_self_avar [in OperationProperties]
fv_open_typ [in OperationProperties]
fv_open_avar [in OperationProperties]
fv_union [in Definitions]
fv_unpack [in Definitions]
K
k_subty_to_sk_subty [in StrongKernel]L
lc_relax_typ [in OperationProperties]lc_relax_avar [in OperationProperties]
N
narrow_hyp [in StructuralProperties]narrow_binds_n [in StructuralProperties]
O
open_substi_rewrite2 [in OperationProperties]open_substi_rewrite [in OperationProperties]
open_fresh_inj_typ [in OperationProperties]
open_fresh_inj_avar [in OperationProperties]
open_left_inv_typ [in OperationProperties]
open_left_inv_avar [in OperationProperties]
open_lc_inv_typ [in OperationProperties]
open_lc_inv_avar [in OperationProperties]
open_lc_le_typ [in OperationProperties]
open_lc_le_avar [in OperationProperties]
open_lc_typ [in OperationProperties]
open_lc_avar [in OperationProperties]
open_subst_subty [in StructuralProperties]
open_typ_same_measure [in Misc]
ope_list_fv_env_subset [in StrongKernel]
ope_sub_stareat_sound [in StrongKernel]
ope_sub_app_r [in OpeSub]
ope_sub_app [in OpeSub]
ope_sub_nil [in OpeSub]
ope_sub_refl [in OpeSub]
ope_sub_trans [in OpeSub]
ope_narrow_subty [in OpeSub]
ope_narrow_var [in OpeSub]
ope_sub_length [in OpeSub]
R
renaming_subty [in StructuralProperties]S
sksub_weaken_l [in StrongKernel]sksub_weaken_gen [in StrongKernel]
sk_subty_equiv_stareat [in StrongKernel]
sk_subty_to_stareat [in StrongKernel]
sk_subty_sound [in StrongKernel]
sk_subty_to_subty [in StrongKernel]
sk_subty_equiv_sk_subty' [in StrongKernel]
sk_subty'_to_sk_subty [in StrongKernel]
sk_subty_to_sk_subty' [in StrongKernel]
stareat_strengthening [in StrongKernel]
stareat_to_sk_subty [in StrongKernel]
stareat_sound [in StrongKernel]
subst_intro_typ [in OperationProperties]
subst_open_comm_typ [in OperationProperties]
subst_open_comm_avar [in OperationProperties]
subst_fresh_typ [in OperationProperties]
subst_fresh_avar [in OperationProperties]
subty_subst [in StructuralProperties]
subty_subst_gen [in StructuralProperties]
subty_trans [in StructuralProperties]
T
total_app [in Misc]trans_hyp [in StructuralProperties]
typ_struct_measure_ge_1 [in Misc]
W
weaken_subty_gen [in StructuralProperties]wf_fv_is_dom [in Misc]
wf_var_in [in Misc]
wf_uniq [in Misc]
wf_deapp [in Misc]
wf_decons [in Misc]
Constructor Index
A
avar_f [in Definitions]avar_b [in Definitions]
B
bn_cons [in StructuralProperties]bn_found [in StructuralProperties]
K
k_all [in StrongKernel]k_fun [in StrongKernel]
k_tvar [in StrongKernel]
k_tvrefl [in StrongKernel]
k_top [in StrongKernel]
L
lc_typ_all [in Definitions]lc_typ_fun [in Definitions]
lc_typ_var [in Definitions]
lc_typ_top [in Definitions]
lc_af [in Definitions]
lc_ab [in Definitions]
N
n_cons [in StructuralProperties]n_first [in StructuralProperties]
O
os_keep [in OpeSub]os_drop [in OpeSub]
os_nil [in OpeSub]
S
sa_all [in StrongKernel]sa_fun [in StrongKernel]
sa_tvar [in StrongKernel]
sa_tvrefl [in StrongKernel]
sa_top [in StrongKernel]
sk_all' [in StrongKernel]
sk_fun' [in StrongKernel]
sk_tvar' [in StrongKernel]
sk_tvrefl' [in StrongKernel]
sk_top' [in StrongKernel]
sk_all [in StrongKernel]
sk_fun [in StrongKernel]
sk_tvar [in StrongKernel]
sk_tvrefl [in StrongKernel]
sk_top [in StrongKernel]
st_all [in Definitions]
st_fun [in Definitions]
st_bind [in Definitions]
st_vrefl [in Definitions]
st_top [in Definitions]
st_all [in StrongKernel]
st_fun [in StrongKernel]
st_tvar [in StrongKernel]
st_tvrefl [in StrongKernel]
st_top [in StrongKernel]
T
typ_all [in Definitions]typ_fun [in Definitions]
typ_var [in Definitions]
typ_top [in Definitions]
W
wf_cons [in Misc]wf_nil [in Misc]
Inductive Index
A
avar [in Definitions]B
binds_n [in StructuralProperties]K
k_subty [in StrongKernel]L
lc_typ_at [in Definitions]lc_avar_at [in Definitions]
N
narrow [in StructuralProperties]O
ope_sub [in OpeSub]S
sk_subty' [in StrongKernel]sk_subty [in StrongKernel]
stareat [in StrongKernel]
stareat_termination [in StrongKernel]
subty [in Definitions]
T
typ [in Definitions]W
wf_env [in Misc]Section Index
E
Equivalence [in StrongKernel]F
FvClose [in OperationProperties]FvOpen [in OperationProperties]
L
LcOpenClosingProperties [in OperationProperties]O
OpenFreshInj [in OperationProperties]OpeProperties [in OpeSub]
P
Predicates [in Misc]R
Reflexivity [in StrongKernel]S
Soundness [in StrongKernel]StructuralProperties [in StructuralProperties]
StructuralProperties.Reflexivity [in StructuralProperties]
StructuralProperties.Transitivity [in StructuralProperties]
SubstFresh [in OperationProperties]
SubstFvarProps [in OperationProperties]
SubstIntro [in OperationProperties]
SubstOpenComm [in OperationProperties]
T
Termination [in StrongKernel]W
Weakening [in StrongKernel]Instance Index
C
CloseTvar [in Definitions]CloseTyp [in Definitions]
E
EqAvar [in Definitions]F
FvEnv [in Definitions]FvTvar [in Definitions]
FvTyp [in Definitions]
L
LcFtyp [in Definitions]LcTvar [in Definitions]
O
OpenTvar [in Definitions]OpenTyp [in Definitions]
S
SubstiEnv [in StructuralProperties]SubstTvar [in Definitions]
SubstTyp [in Definitions]
Abbreviation Index
C
close_lc [in OperationProperties]E
env [in Definitions]F
fresh_inj [in OperationProperties]fv_add_close [in OperationProperties]
fv_close [in OperationProperties]
fv_close_self [in OperationProperties]
fv_open [in OperationProperties]
L
lc_relax [in OperationProperties]O
open_left_inv [in OperationProperties]open_lc_inv [in OperationProperties]
open_lc_le [in OperationProperties]
open_lc [in OperationProperties]
S
subst_intro [in OperationProperties]subst_open_comm [in OperationProperties]
subst_fresh [in OperationProperties]
Definition Index
C
close_rec_typ [in Definitions]close_rec_tvar [in Definitions]
E
env_measure [in Misc]F
fv_typ [in Definitions]fv_avar [in Definitions]
fv_values [in Definitions]
I
is_all_dec [in Misc]is_all [in Misc]
is_fun_dec [in Misc]
is_fun [in Misc]
is_var_dec [in Misc]
is_var [in Misc]
is_top_dec [in Misc]
is_top [in Misc]
M
measure [in StrongKernel]N
narrow_on [in StructuralProperties]O
open_rec_typ [in Definitions]open_rec_tvar [in Definitions]
S
sksub_refl [in StrongKernel]stareat_terminates [in StrongKernel]
subst_fvar [in OperationProperties]
subst_typ [in Definitions]
subst_tvar [in Definitions]
subst_env [in StructuralProperties]
subty_refl [in StructuralProperties]
T
total [in Misc]trans_and_narrow [in StructuralProperties]
trans_on [in StructuralProperties]
typ_struct_measure [in Misc]
W
weaken_subty [in StructuralProperties]| 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 | (241 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 | (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 | (11 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 | (6 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 | (77 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 | (51 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 | (14 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 | (18 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 | (13 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 | (15 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 | (30 entries) |