![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Make | 2015-09-06 21:16 | 1.6K | |
| Makefile | 2015-09-06 21:16 | 9.5K | |
| app_defs.txt | 2015-09-06 21:16 | 1.1K | |
| aprem_defs.txt | 2015-09-06 21:16 | 3.1K | |
| arity_defs.txt | 2015-09-06 21:16 | 8.1K | |
| arity_gen.txt | 2015-09-06 21:16 | 4.2K | |
| arity_props.txt | 2015-09-06 21:16 | 8.2K | |
| arity_sred.txt | 2015-09-06 21:16 | 5.1K | |
| arity_subst0.txt | 2015-09-06 21:16 | 4.1K | |
| basic_1.txt | 2015-09-06 21:16 | 3.9K | |
| clt_defs.txt | 2015-09-06 21:16 | 3.7K | |
| cnt_defs.txt | 2015-09-06 21:16 | 1.3K | |
| contexts_defs.txt | 2015-09-06 21:16 | 4.1K | |
| csuba_defs.txt | 2015-09-06 21:16 | 23K | |
| csuba_props.txt | 2015-09-06 21:16 | 3.1K | |
| csubc_defs.txt | 2015-09-06 21:16 | 5.0K | |
| csubc_props.txt | 2015-09-06 21:16 | 7.2K | |
| csubst0_defs.txt | 2015-09-06 21:16 | 25K | |
| csubst1_defs.txt | 2015-09-06 21:16 | 5.5K | |
| csubst1_props.txt | 2015-09-06 21:16 | 2.0K | |
| csubt_arity_props.txt | 2015-09-06 21:16 | 1.2K | |
| csubt_defs.txt | 2015-09-06 21:16 | 13K | |
| csubt_props.txt | 2015-09-06 21:16 | 2.8K | |
| csubv_defs.txt | 2015-09-06 21:16 | 5.8K | |
| ctail_defs.txt | 2015-09-06 21:16 | 2.0K | |
| dnf_dec.txt | 2015-09-06 21:16 | 2.4K | |
| drop1_defs.txt | 2015-09-06 21:16 | 3.4K | |
| drop1_props.txt | 2015-09-06 21:16 | 1.5K | |
| drop_defs.txt | 2015-09-06 21:16 | 5.6K | |
| drop_props.txt | 2015-09-06 21:16 | 11K | |
| flt_defs.txt | 2015-09-06 21:16 | 3.8K | |
| fsubst0_defs.txt | 2015-09-06 21:16 | 1.9K | |
| getl_defs.txt | 2015-09-06 21:16 | 17K | |
| getl_props.txt | 2015-09-06 21:16 | 12K | |
| iso_defs.txt | 2015-09-06 21:16 | 4.0K | |
| levels_defs.txt | 2015-09-06 21:16 | 14K | |
| levels_ex0.txt | 2015-09-06 21:16 | 4.0K | |
| lift1_defs.txt | 2015-09-06 21:16 | 3.5K | |
| lift1_props.txt | 2015-09-06 21:16 | 1.6K | |
| lift_defs.txt | 2015-09-06 21:16 | 11K | |
| lift_gen.txt | 2015-09-06 21:16 | 5.6K | |
| lift_props.txt | 2015-09-06 21:16 | 2.4K | |
| lift_tlt.txt | 2015-09-06 21:16 | 3.3K | |
| llt_defs.txt | 2015-09-06 21:16 | 2.8K | |
| nf0_dec.txt | 2015-09-06 21:16 | 4.2K | |
| nf2_dec.txt | 2015-09-06 21:16 | 2.1K | |
| nf2_defs.txt | 2015-09-06 21:16 | 5.8K | |
| nf2_ex2.txt | 2015-09-06 21:16 | 1.3K | |
| nf2_gen.txt | 2015-09-06 21:16 | 4.0K | |
| nf2_props.txt | 2015-09-06 21:16 | 3.7K | |
| parameter_defs.txt | 2015-09-06 21:16 | 2.1K | |
| pc1_defs.txt | 2015-09-06 21:16 | 2.2K | |
| pc1_props.txt | 2015-09-06 21:16 | 1.6K | |
| pc3_defs.txt | 2015-09-06 21:16 | 4.5K | |
| pc3_gen.txt | 2015-09-06 21:16 | 7.4K | |
| pc3_gen_context.txt | 2015-09-06 21:16 | 1.5K | |
| pc3_props.txt | 2015-09-06 21:16 | 10K | |
| pc3_subst0.txt | 2015-09-06 21:16 | 6.0K | |
| pr0_confluence.txt | 2015-09-06 21:16 | 8.6K | |
| pr0_defs.txt | 2015-09-06 21:16 | 5.1K | |
| pr0_gen.txt | 2015-09-06 21:16 | 4.2K | |
| pr0_lift.txt | 2015-09-06 21:16 | 1.6K | |
| pr0_subst0.txt | 2015-09-06 21:16 | 5.0K | |
| pr0_subst1.txt | 2015-09-06 21:16 | 3.4K | |
| pr1_confluence.txt | 2015-09-06 21:16 | 2.3K | |
| pr1_defs.txt | 2015-09-06 21:16 | 2.1K | |
| pr1_props.txt | 2015-09-06 21:16 | 1.5K | |
| pr2_confluence.txt | 2015-09-06 21:16 | 3.4K | |
| pr2_defs.txt | 2015-09-06 21:16 | 8.1K | |
| pr2_gen.txt | 2015-09-06 21:16 | 6.2K | |
| pr2_gen_context.txt | 2015-09-06 21:16 | 3.1K | |
| pr2_lift.txt | 2015-09-06 21:16 | 1.5K | |
| pr2_subst1.txt | 2015-09-06 21:16 | 2.4K | |
| pr3_confluence.txt | 2015-09-06 21:16 | 2.5K | |
| pr3_defs.txt | 2015-09-06 21:16 | 7.1K | |
| pr3_gen.txt | 2015-09-06 21:16 | 9.7K | |
| pr3_gen_context.txt | 2015-09-06 21:16 | 2.5K | |
| pr3_iso.txt | 2015-09-06 21:16 | 9.0K | |
| pr3_props.txt | 2015-09-06 21:16 | 6.3K | |
| pr3_subst1.txt | 2015-09-06 21:16 | 1.9K | |
| sc3_arity.txt | 2015-09-06 21:16 | 3.8K | |
| sc3_defs.txt | 2015-09-06 21:16 | 2.2K | |
| sc3_props.txt | 2015-09-06 21:16 | 7.2K | |
| sn3_defs.txt | 2015-09-06 21:16 | 6.6K | |
| sn3_gen.txt | 2015-09-06 21:16 | 2.6K | |
| sn3_props.txt | 2015-09-06 21:16 | 20K | |
| sty0_defs.txt | 2015-09-06 21:16 | 4.8K | |
| sty0_props.txt | 2015-09-06 21:16 | 3.0K | |
| sty1_defs.txt | 2015-09-06 21:16 | 2.0K | |
| sty1_props.txt | 2015-09-06 21:16 | 3.1K | |
| subst0_confluence.txt | 2015-09-06 21:16 | 4.6K | |
| subst0_defs.txt | 2015-09-06 21:16 | 4.0K | |
| subst0_gen.txt | 2015-09-06 21:16 | 8.3K | |
| subst0_lift.txt | 2015-09-06 21:16 | 2.8K | |
| subst0_subst0.txt | 2015-09-06 21:16 | 3.3K | |
| subst0_tlt.txt | 2015-09-06 21:16 | 3.5K | |
| subst1_confluence.txt | 2015-09-06 21:16 | 4.4K | |
| subst1_defs.txt | 2015-09-06 21:16 | 3.0K | |
| subst1_gen.txt | 2015-09-06 21:16 | 2.7K | |
| subst1_lift.txt | 2015-09-06 21:16 | 3.0K | |
| subst1_subst1.txt | 2015-09-06 21:16 | 3.3K | |
| subst_defs.txt | 2015-09-06 21:16 | 2.8K | |
| subst_props.txt | 2015-09-06 21:16 | 1.5K | |
| terms_defs.txt | 2015-09-06 21:16 | 7.7K | |
| tlist_defs.txt | 2015-09-06 21:16 | 3.5K | |
| tlt_defs.txt | 2015-09-06 21:16 | 4.8K | |
| ty3_arity_props.txt | 2015-09-06 21:16 | 3.8K | |
| ty3_dec.txt | 2015-09-06 21:16 | 6.3K | |
| ty3_defs.txt | 2015-09-06 21:16 | 2.5K | |
| ty3_ex1.txt | 2015-09-06 21:16 | 2.6K | |
| ty3_gen.txt | 2015-09-06 21:16 | 5.5K | |
| ty3_gen_context.txt | 2015-09-06 21:16 | 9.3K | |
| ty3_gen_nf2.txt | 2015-09-06 21:16 | 2.2K | |
| ty3_lift.txt | 2015-09-06 21:16 | 2.8K | |
| ty3_nf2_gen.txt | 2015-09-06 21:16 | 7.6K | |
| ty3_props.txt | 2015-09-06 21:16 | 5.1K | |
| ty3_sred.txt | 2015-09-06 21:16 | 10K | |
| ty3_sred_props.txt | 2015-09-06 21:16 | 6.6K | |
| ty3_subst0.txt | 2015-09-06 21:16 | 14K | |
| wcpr0_defs.txt | 2015-09-06 21:16 | 8.4K | |
| wf3_defs.txt | 2015-09-06 21:16 | 5.8K | |
| wf3_props.txt | 2015-09-06 21:16 | 5.0K | |