Lambda.Meta.SubjectReduction

Global Index

H

Q

X

Y

Z

_

(1755 entries)

Lemma Index

B

H

Q

X

Y

Z

_

(1070 entries)

Section Index

A

B

D

E

F

G

H

I

J

K

M

O

P

Q

R

S

U

V

W

X

Y

Z

_

(6 entries)

Constructor Index

G

H

L

O

Q

U

V

X

Y

Z

_

(426 entries)

Inductive Index

A

B

D

G

H

K

N

O

Q

U

V

X

Y

Z

_

(81 entries)

Definition Index

A

B

G

H

J

K

Q

R

V

W

X

Y

Z

_

(73 entries)

Variable Index

A

B

C

D

E

F

G

H

I

J

K

M

N

O

P

Q

R

S

U

V

W

X

Y

Z

_

(3 entries)

Library Index

A

H

K

O

Q

W

X

Y

Z

_

(96 entries)

R (lemma)

red1_lift [in Lambda.Reduction]
red1_par_red1 [in Lambda.Reduction]
red1_red_ind [in Lambda.Reduction]
red1_subst_l [in Lambda.Reduction]
red1_subst_r [in Lambda.Reduction]
red_abs_abs [in Lambda.Reduction]
red_conv [in Lambda.Reduction]
red_item [in Lambda.TPOSR.CtxReduction]
red_item [in Lambda.CCSum.SubjectReduction]
red_normal [in Lambda.Reduction]
red_pair_pair [in Lambda.Reduction]
red_par_red [in Lambda.Reduction]
red_prod_prod [in Lambda.Reduction]
red_red1_ord_norm [in Lambda.Conv_Dec]
red_red_abs [in Lambda.Reduction]
red_red_app [in Lambda.Reduction]
red_red_pair [in Lambda.Reduction]
red_red_pi1 [in Lambda.Reduction]
red_red_pi2 [in Lambda.Reduction]
red_red_prod [in Lambda.Reduction]
red_red_subset [in Lambda.Reduction]
red_red_sum [in Lambda.Reduction]
red_ref_ref [in Lambda.Reduction]
red_sort_eq [in Lambda.JRussell.GenerationCoerce]
red_sort_eq [in Lambda.Russell.GenerationCoerce]
red_sort_mem [in Lambda.Reduction]
red_sort_sort [in Lambda.Reduction]
red_subset_subset [in Lambda.Reduction]
red_sum_sum [in Lambda.Reduction]
refl_l [in Lambda.TPOSR.LeftReflexivity]
refl_par_lred1 [in Lambda.TPOSR.Reduction]
refl_par_red1 [in Lambda.Reduction]
refl_r [in Lambda.TPOSR.RightReflexivity]
russell_equiv_jrussell_conv [in Lambda.Meta.Russell_JRussell]
russell_equiv_jrussell_type [in Lambda.Meta.Russell_JRussell]
russell_subject_reduction [in Lambda.Meta.SubjectReduction]
russell_to_tposr [in Lambda.Meta.Russell_TPOSR]
russell_unique_sort_conv [in Lambda.Meta.Russell_TPOSR]

Global Index

H

Q

X

Y

Z

_

(1755 entries)

Lemma Index

B

H

Q

X

Y

Z

_

(1070 entries)

Section Index

A

B

D

E

F

G

H

I

J

K

M

O

P

Q

R

S

U

V

W

X

Y

Z

_

(6 entries)

Constructor Index

G

H

L

O

Q

U

V

X

Y

Z

_

(426 entries)

Inductive Index

A

B

D

G

H

K

N

O

Q

U

V

X

Y

Z

_

(81 entries)

Definition Index

A

B

G

H

J

K

Q

R

V

W

X

Y

Z

_

(73 entries)

Variable Index

A

B

C

D

E

F

G

H

I

J

K

M

N

O

P

Q

R

S

U

V

W

X

Y

Z

_

(3 entries)

Library Index

A

H

K

O

Q

W

X

Y

Z

_

(96 entries)