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