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

_

(58 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

_

(26 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

_

(1 entry)

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

_

(14 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

_

(9 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

_

(2 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

_

(1 entry)

---

Global Index

A

Actx [constructor, in TreeDiameter.TreeDiameter]
adj [inductive, in TreeDiameter.TreeDiameter]
adj_sym [lemma, in TreeDiameter.TreeDiameter]
Aleft1 [constructor, in TreeDiameter.TreeDiameter]
Aleft2 [constructor, in TreeDiameter.TreeDiameter]
Aright1 [constructor, in TreeDiameter.TreeDiameter]
Aright2 [constructor, in TreeDiameter.TreeDiameter]

D

diam [definition, in TreeDiameter.TreeDiameter]
Diameter [definition, in TreeDiameter.TreeDiameter]
diameter [definition, in TreeDiameter.TreeDiameter]
diamh [definition, in TreeDiameter.TreeDiameter]
dir [inductive, in TreeDiameter.TreeDiameter]
dist [definition, in TreeDiameter.TreeDiameter]
dist_height [lemma, in TreeDiameter.TreeDiameter]
dist_height_max [lemma, in TreeDiameter.TreeDiameter]

E

Empty [constructor, in TreeDiameter.TreeDiameter]

G

graph [definition, in TreeDiameter.TreeDiameter]
gt [definition, in TreeDiameter.TreeDiameter]
gt_empty [lemma, in TreeDiameter.TreeDiameter]
gt_sym [lemma, in TreeDiameter.TreeDiameter]

H

height [definition, in TreeDiameter.TreeDiameter]

K

key_lemma [lemma, in TreeDiameter.TreeDiameter]

L

Left [constructor, in TreeDiameter.TreeDiameter]

M

max_1 [lemma, in TreeDiameter.TreeDiameter]
max_2 [lemma, in TreeDiameter.TreeDiameter]
max_3 [lemma, in TreeDiameter.TreeDiameter]
max_3_cases [lemma, in TreeDiameter.TreeDiameter]
max_4 [lemma, in TreeDiameter.TreeDiameter]
max_5 [lemma, in TreeDiameter.TreeDiameter]
max_6 [lemma, in TreeDiameter.TreeDiameter]
max_7 [lemma, in TreeDiameter.TreeDiameter]

N

Node [constructor, in TreeDiameter.TreeDiameter]

P

path [inductive, in TreeDiameter.TreeDiameter]
Paths [section, in TreeDiameter.TreeDiameter]
Paths.A [variable, in TreeDiameter.TreeDiameter]
Paths.g [variable, in TreeDiameter.TreeDiameter]
path_cons [constructor, in TreeDiameter.TreeDiameter]
path_gt_l [lemma, in TreeDiameter.TreeDiameter]
path_gt_l_inv [lemma, in TreeDiameter.TreeDiameter]
path_gt_l_root [lemma, in TreeDiameter.TreeDiameter]
path_gt_r [lemma, in TreeDiameter.TreeDiameter]
path_gt_r_inv [lemma, in TreeDiameter.TreeDiameter]
path_gt_r_root [lemma, in TreeDiameter.TreeDiameter]
path_gt_r_root_inv [lemma, in TreeDiameter.TreeDiameter]
path_nil [constructor, in TreeDiameter.TreeDiameter]
path_snoc [lemma, in TreeDiameter.TreeDiameter]
path_sym [lemma, in TreeDiameter.TreeDiameter]
path_trans [lemma, in TreeDiameter.TreeDiameter]
path_1 [lemma, in TreeDiameter.TreeDiameter]
pos [definition, in TreeDiameter.TreeDiameter]

R

Right [constructor, in TreeDiameter.TreeDiameter]

S

split [lemma, in TreeDiameter.TreeDiameter]

T

tree [inductive, in TreeDiameter.TreeDiameter]
TreeDiameter [library]

V

valid [inductive, in TreeDiameter.TreeDiameter]
Vleft [constructor, in TreeDiameter.TreeDiameter]
Vright [constructor, in TreeDiameter.TreeDiameter]
Vroot [constructor, in TreeDiameter.TreeDiameter]

---

Lemma Index

A

adj_sym [in TreeDiameter.TreeDiameter]

D

dist_height [in TreeDiameter.TreeDiameter]
dist_height_max [in TreeDiameter.TreeDiameter]

G

gt_empty [in TreeDiameter.TreeDiameter]
gt_sym [in TreeDiameter.TreeDiameter]

K

key_lemma [in TreeDiameter.TreeDiameter]

M

max_1 [in TreeDiameter.TreeDiameter]
max_2 [in TreeDiameter.TreeDiameter]
max_3 [in TreeDiameter.TreeDiameter]
max_3_cases [in TreeDiameter.TreeDiameter]
max_4 [in TreeDiameter.TreeDiameter]
max_5 [in TreeDiameter.TreeDiameter]
max_6 [in TreeDiameter.TreeDiameter]
max_7 [in TreeDiameter.TreeDiameter]

P

path_gt_l [in TreeDiameter.TreeDiameter]
path_gt_l_inv [in TreeDiameter.TreeDiameter]
path_gt_l_root [in TreeDiameter.TreeDiameter]
path_gt_r [in TreeDiameter.TreeDiameter]
path_gt_r_inv [in TreeDiameter.TreeDiameter]
path_gt_r_root [in TreeDiameter.TreeDiameter]
path_gt_r_root_inv [in TreeDiameter.TreeDiameter]
path_snoc [in TreeDiameter.TreeDiameter]
path_sym [in TreeDiameter.TreeDiameter]
path_trans [in TreeDiameter.TreeDiameter]
path_1 [in TreeDiameter.TreeDiameter]

S

split [in TreeDiameter.TreeDiameter]

---

Section Index

P

Paths [in TreeDiameter.TreeDiameter]

---

Constructor Index

A

Actx [in TreeDiameter.TreeDiameter]
Aleft1 [in TreeDiameter.TreeDiameter]
Aleft2 [in TreeDiameter.TreeDiameter]
Aright1 [in TreeDiameter.TreeDiameter]
Aright2 [in TreeDiameter.TreeDiameter]

E

Empty [in TreeDiameter.TreeDiameter]

L

Left [in TreeDiameter.TreeDiameter]

N

Node [in TreeDiameter.TreeDiameter]

P

path_cons [in TreeDiameter.TreeDiameter]
path_nil [in TreeDiameter.TreeDiameter]

R

Right [in TreeDiameter.TreeDiameter]

V

Vleft [in TreeDiameter.TreeDiameter]
Vright [in TreeDiameter.TreeDiameter]
Vroot [in TreeDiameter.TreeDiameter]

---

Inductive Index

A

adj [in TreeDiameter.TreeDiameter]

D

dir [in TreeDiameter.TreeDiameter]

P

path [in TreeDiameter.TreeDiameter]

T

tree [in TreeDiameter.TreeDiameter]

V

valid [in TreeDiameter.TreeDiameter]

---

Definition Index

D

diam [in TreeDiameter.TreeDiameter]
Diameter [in TreeDiameter.TreeDiameter]
diameter [in TreeDiameter.TreeDiameter]
diamh [in TreeDiameter.TreeDiameter]
dist [in TreeDiameter.TreeDiameter]

G

graph [in TreeDiameter.TreeDiameter]
gt [in TreeDiameter.TreeDiameter]

H

height [in TreeDiameter.TreeDiameter]

P

pos [in TreeDiameter.TreeDiameter]

---

Variable Index

P

Paths.A [in TreeDiameter.TreeDiameter]
Paths.g [in TreeDiameter.TreeDiameter]

---

Library Index

T

TreeDiameter

---

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

_

(58 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

_

(26 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

_

(1 entry)

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

_

(14 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

_

(9 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

_

(2 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

_

(1 entry)