1 \documentclass[8pt,twocolumn]{extarticle}
3 \usepackage[bookmarks=false,ps2pdf]{hyperref}
4 \usepackage[american]{babel}
9 \input{matita.lambdadelta.basic_1.pr0.defs.pr0.pr0_beta.type}
13 \input{matita.lambdadelta.basic_1.pr0.defs.pr0.pr0_comp.type}
17 \input{matita.lambdadelta.basic_1.pr0.defs.pr0.pr0_delta.type}
21 \input{matita.lambdadelta.basic_1.pr0.defs.pr0.pr0_refl.type}
25 \input{matita.lambdadelta.basic_1.pr0.defs.pr0.pr0_tau.type}
29 \input{matita.lambdadelta.basic_1.pr0.defs.pr0.pr0.type}
33 \input{matita.lambdadelta.basic_1.pr0.defs.pr0.pr0_upsilon.type}
37 \input{matita.lambdadelta.basic_1.pr0.defs.pr0.pr0_zeta.type}
41 \input{matita.lambdadelta.basic_1.pr0.defs.pr0_ind.pr0_ind.type}
45 \input{matita.lambdadelta.basic_1.pr0.defs.pr0_ind.pr0_ind.body}
49 \input{matita.lambdadelta.basic_1.pr0.pr0.pr0_confluence.type}
53 \input{matita.lambdadelta.basic_1.pr0.pr0.pr0_confluence.body}
59 \ObjRef{pr0_confluence}