Index of /xml/Nancy/FOUnify/term_unif
Name
Last modified
Size
Description
Parent Directory
-
unif_proof.con.xml.gz
2004-04-08 09:06
399
unif_proof.con.types.xml.gz
2004-04-08 09:06
206
unif_proof.con.body.xml.gz
2004-04-08 09:06
1.0K
unif_comp.con.xml.gz
2004-04-08 09:06
785
unif_comp.con.types.xml.gz
2004-04-08 09:06
4.0K
unif_comp.con.body.xml.gz
2004-04-08 09:06
3.6K
unif.con.xml.gz
2004-04-08 09:06
353
unif.con.types.xml.gz
2004-04-08 09:06
196
unif.con.body.xml.gz
2004-04-08 09:06
497
under_comp.con.xml.gz
2004-04-08 09:06
952
under_comp.con.types.xml.gz
2004-04-08 09:06
21K
under_comp.con.body.xml.gz
2004-04-08 09:06
16K
under_IS_IN_Subst_IS_IN.con.xml.gz
2004-04-08 09:05
572
under_IS_IN_Subst_IS_IN.con.types.xml.gz
2004-04-08 09:05
2.3K
under_IS_IN_Subst_IS_IN.con.body.xml.gz
2004-04-08 09:05
2.5K
under.con.xml.gz
2004-04-08 09:05
345
under.con.types.xml.gz
2004-04-08 09:05
197
under.con.body.xml.gz
2004-04-08 09:05
589
two_succes.con.xml.gz
2004-04-08 09:06
1.7K
two_succes.con.types.xml.gz
2004-04-08 09:06
1.9K
two_succes.con.body.xml.gz
2004-04-08 09:06
2.8K
trans_SUP.con.xml.gz
2004-04-08 09:05
491
trans_SUP.con.types.xml.gz
2004-04-08 09:05
20K
trans_SUP.con.body.xml.gz
2004-04-08 09:05
19K
trans_SUB.con.xml.gz
2004-04-08 09:05
488
trans_SUB.con.types.xml.gz
2004-04-08 09:05
847
trans_SUB.con.body.xml.gz
2004-04-08 09:05
562
term_subst_comp.con.xml.gz
2004-04-08 09:06
1.4K
term_subst_comp.con.types.xml.gz
2004-04-08 09:06
9.8K
term_subst_comp.con.body.xml.gz
2004-04-08 09:06
6.3K
sym_Unification.con.xml.gz
2004-04-08 09:06
439
sym_Unification.con.types.xml.gz
2004-04-08 09:06
3.8K
sym_Unification.con.body.xml.gz
2004-04-08 09:06
4.2K
sub_ind.con.xml.gz
2004-04-08 09:05
1.1K
sub_ind.con.types.xml.gz
2004-04-08 09:05
2.1K
sub_ind.con.body.xml.gz
2004-04-08 09:05
2.0K
sub_SUB.con.xml.gz
2004-04-08 09:05
442
sub_SUB.con.types.xml.gz
2004-04-08 09:05
3.2K
sub_SUB.con.body.xml.gz
2004-04-08 09:05
2.2K
sub.ind.xml.gz
2004-04-08 09:05
1.0K
sub.ind.types.xml.gz
2004-04-08 09:05
193
st_inclv_infv.con.xml.gz
2004-04-08 09:05
495
st_inclv_infv.con.types.xml.gz
2004-04-08 09:05
1.4K
st_inclv_infv.con.body.xml.gz
2004-04-08 09:05
1.4K
st_inclv_ind.con.xml.gz
2004-04-08 09:05
744
st_inclv_ind.con.types.xml.gz
2004-04-08 09:05
785
st_inclv_ind.con.body.xml.gz
2004-04-08 09:05
863
st_inclv_Consv_REMOVE_n_IS_IN_LV_st_inclv.con.xml.gz
2004-04-08 09:05
700
st_inclv_Consv_REMOVE_n_IS_IN_LV_st_inclv.con.types.xml.gz
2004-04-08 09:05
3.8K
st_inclv_Consv_REMOVE_n_IS_IN_LV_st_inclv.con.body.xml.gz
2004-04-08 09:05
2.9K
st_inclv.ind.xml.gz
2004-04-08 09:05
766
st_inclv.ind.types.xml.gz
2004-04-08 09:05
201
sig_elem_subst0.con.xml.gz
2004-04-08 09:06
780
sig_elem_subst0.con.types.xml.gz
2004-04-08 09:06
5.8K
sig_elem_subst0.con.body.xml.gz
2004-04-08 09:06
7.1K
sig_elem_subst.con.xml.gz
2004-04-08 09:06
528
sig_elem_subst.con.types.xml.gz
2004-04-08 09:06
1.2K
sig_elem_subst.con.body.xml.gz
2004-04-08 09:06
2.4K
sig_REMOVE.con.xml.gz
2004-04-08 09:05
515
sig_REMOVE.con.types.xml.gz
2004-04-08 09:05
1.9K
sig_REMOVE.con.body.xml.gz
2004-04-08 09:05
3.7K
remove_ind.con.xml.gz
2004-04-08 09:05
1.0K
remove_ind.con.types.xml.gz
2004-04-08 09:05
1.9K
remove_ind.con.body.xml.gz
2004-04-08 09:05
1.9K
remove_REMOVE.con.xml.gz
2004-04-08 09:05
512
remove_REMOVE.con.types.xml.gz
2004-04-08 09:05
2.3K
remove_REMOVE.con.body.xml.gz
2004-04-08 09:05
2.1K
remove.ind.xml.gz
2004-04-08 09:05
936
remove.ind.types.xml.gz
2004-04-08 09:05
198
range_n_dom_idempotent.con.xml.gz
2004-04-08 09:06
615
range_n_dom_idempotent.con.types.xml.gz
2004-04-08 09:06
2.0K
range_n_dom_idempotent.con.body.xml.gz
2004-04-08 09:06
1.8K
range_ind.con.xml.gz
2004-04-08 09:05
617
range_ind.con.types.xml.gz
2004-04-08 09:05
657
range_ind.con.body.xml.gz
2004-04-08 09:05
732
range.ind.xml.gz
2004-04-08 09:05
640
range.ind.types.xml.gz
2004-04-08 09:05
197
proof_unif.con.xml.gz
2004-04-08 09:06
566
proof_unif.con.types.xml.gz
2004-04-08 09:06
1.7K
proof_unif.con.body.xml.gz
2004-04-08 09:06
23K
over_comp.con.xml.gz
2004-04-08 09:06
869
over_comp.con.types.xml.gz
2004-04-08 09:06
7.8K
over_comp.con.body.xml.gz
2004-04-08 09:06
4.6K
over.con.xml.gz
2004-04-08 09:05
343
over.con.types.xml.gz
2004-04-08 09:05
197
over.con.body.xml.gz
2004-04-08 09:05
605
one_only_succes.con.xml.gz
2004-04-08 09:06
893
one_only_succes.con.types.xml.gz
2004-04-08 09:06
5.6K
one_only_succes.con.body.xml.gz
2004-04-08 09:06
6.9K
n_st_inclv_l_Nilv.con.xml.gz
2004-04-08 09:05
450
n_st_inclv_l_Nilv.con.types.xml.gz
2004-04-08 09:05
918
n_st_inclv_l_Nilv.con.body.xml.gz
2004-04-08 09:05
823
n_range_n_IS_IN.con.xml.gz
2004-04-08 09:05
602
n_range_n_IS_IN.con.types.xml.gz
2004-04-08 09:05
1.1K
n_range_n_IS_IN.con.body.xml.gz
2004-04-08 09:05
793
n_range_IS_IN_eq.con.xml.gz
2004-04-08 09:05
588
n_range_IS_IN_eq.con.types.xml.gz
2004-04-08 09:05
1.8K
n_range_IS_IN_eq.con.body.xml.gz
2004-04-08 09:05
1.9K
n_range_IS_IN_Subst.con.xml.gz
2004-04-08 09:05
602
n_range_IS_IN_Subst.con.types.xml.gz
2004-04-08 09:05
3.6K
n_range_IS_IN_Subst.con.body.xml.gz
2004-04-08 09:05
2.5K
n_infv_t_clos.con.xml.gz
2004-04-08 09:05
486
n_infv_t_clos.con.types.xml.gz
2004-04-08 09:05
1.0K
n_infv_t_clos.con.body.xml.gz
2004-04-08 09:05
1.1K
n_dom.con.xml.gz
2004-04-08 09:05
547
n_dom.con.types.xml.gz
2004-04-08 09:05
1.4K
n_dom.con.body.xml.gz
2004-04-08 09:05
1.2K
min_unif_comp.con.xml.gz
2004-04-08 09:06
793
min_unif_comp.con.types.xml.gz
2004-04-08 09:06
6.0K
min_unif_comp.con.body.xml.gz
2004-04-08 09:06
4.8K
min_unif.con.xml.gz
2004-04-08 09:06
360
min_unif.con.types.xml.gz
2004-04-08 09:06
202
min_unif.con.body.xml.gz
2004-04-08 09:06
545
list_var.con.xml.gz
2004-04-08 09:05
309
list_var.con.types.xml.gz
2004-04-08 09:05
203
list_var.con.body.xml.gz
2004-04-08 09:05
857
less_subst_ind.con.xml.gz
2004-04-08 09:06
691
less_subst_ind.con.types.xml.gz
2004-04-08 09:06
727
less_subst_ind.con.body.xml.gz
2004-04-08 09:06
799
less_subst.ind.xml.gz
2004-04-08 09:06
711
less_subst.ind.types.xml.gz
2004-04-08 09:06
205
infv_st_inclv.con.xml.gz
2004-04-08 09:05
495
infv_st_inclv.con.types.xml.gz
2004-04-08 09:05
1.5K
infv_st_inclv.con.body.xml.gz
2004-04-08 09:05
1.3K
infv_ind.con.xml.gz
2004-04-08 09:05
733
infv_ind.con.types.xml.gz
2004-04-08 09:05
775
infv_ind.con.body.xml.gz
2004-04-08 09:05
854
infv.ind.xml.gz
2004-04-08 09:05
758
infv.ind.types.xml.gz
2004-04-08 09:05
195
inclv_rect.con.xml.gz
2004-04-08 09:05
614
inclv_rect.con.types.xml.gz
2004-04-08 09:05
205
inclv_rect.con.body.xml.gz
2004-04-08 09:05
720
inclv_rec.con.xml.gz
2004-04-08 09:05
613
inclv_rec.con.types.xml.gz
2004-04-08 09:05
204
inclv_rec.con.body.xml.gz
2004-04-08 09:05
446
inclv_le.con.xml.gz
2004-04-08 09:05
573
inclv_le.con.types.xml.gz
2004-04-08 09:05
6.9K
inclv_le.con.body.xml.gz
2004-04-08 09:05
6.4K
inclv_ind.con.xml.gz
2004-04-08 09:05
605
inclv_ind.con.types.xml.gz
2004-04-08 09:05
761
inclv_ind.con.body.xml.gz
2004-04-08 09:05
454
inclv.ind.xml.gz
2004-04-08 09:05
638
inclv.ind.types.xml.gz
2004-04-08 09:05
196
ident_or_notS.con.xml.gz
2004-04-08 09:06
776
ident_or_notS.con.types.xml.gz
2004-04-08 09:06
3.2K
ident_or_notS.con.body.xml.gz
2004-04-08 09:06
6.5K
ident_or_not.con.xml.gz
2004-04-08 09:06
765
ident_or_not.con.types.xml.gz
2004-04-08 09:06
10K
ident_or_not.con.body.xml.gz
2004-04-08 09:06
6.2K
idempotent_n_range.con.xml.gz
2004-04-08 09:06
545
idempotent_n_range.con.types.xml.gz
2004-04-08 09:06
1.6K
idempotent_n_range.con.body.xml.gz
2004-04-08 09:06
1.5K
idempotent_dom_n_IS_IN.con.xml.gz
2004-04-08 09:06
570
idempotent_dom_n_IS_IN.con.types.xml.gz
2004-04-08 09:06
1.6K
idempotent_dom_n_IS_IN.con.body.xml.gz
2004-04-08 09:06
1.7K
idempotent_Fondamental.con.xml.gz
2004-04-08 09:06
715
idempotent_Fondamental.con.types.xml.gz
2004-04-08 09:06
5.7K
idempotent_Fondamental.con.body.xml.gz
2004-04-08 09:06
4.8K
idempotent.con.xml.gz
2004-04-08 09:06
314
idempotent.con.types.xml.gz
2004-04-08 09:06
205
idempotent.con.body.xml.gz
2004-04-08 09:06
541
head_diff_ind.con.xml.gz
2004-04-08 09:06
1.2K
head_diff_ind.con.types.xml.gz
2004-04-08 09:06
1.2K
head_diff_ind.con.body.xml.gz
2004-04-08 09:06
1.5K
head_diff.ind.xml.gz
2004-04-08 09:06
1.0K
head_diff.ind.types.xml.gz
2004-04-08 09:06
203
f_n_id_minus.con.xml.gz
2004-04-08 09:06
1.1K
f_n_id_minus.con.types.xml.gz
2004-04-08 09:06
14K
f_n_id_minus.con.body.xml.gz
2004-04-08 09:06
11K
exp_comp_subst.con.xml.gz
2004-04-08 09:06
631
exp_comp_subst.con.types.xml.gz
2004-04-08 09:06
966
exp_comp_subst.con.body.xml.gz
2004-04-08 09:06
762
exi_REMOVE.con.xml.gz
2004-04-08 09:05
517
exi_REMOVE.con.types.xml.gz
2004-04-08 09:05
853
exi_REMOVE.con.body.xml.gz
2004-04-08 09:05
946
eq_V_stab3.con.xml.gz
2004-04-08 09:06
760
eq_V_stab3.con.types.xml.gz
2004-04-08 09:06
11K
eq_V_stab3.con.body.xml.gz
2004-04-08 09:06
8.2K
eq_V_stab.con.xml.gz
2004-04-08 09:05
599
eq_V_stab.con.types.xml.gz
2004-04-08 09:05
3.1K
eq_V_stab.con.body.xml.gz
2004-04-08 09:05
2.6K
elem_subst_rect.con.xml.gz
2004-04-08 09:06
853
elem_subst_rect.con.types.xml.gz
2004-04-08 09:06
215
elem_subst_rect.con.body.xml.gz
2004-04-08 09:06
967
elem_subst_rec.con.xml.gz
2004-04-08 09:06
852
elem_subst_rec.con.types.xml.gz
2004-04-08 09:06
213
elem_subst_rec.con.body.xml.gz
2004-04-08 09:06
510
elem_subst_ind.con.xml.gz
2004-04-08 09:06
845
elem_subst_ind.con.types.xml.gz
2004-04-08 09:06
1.1K
elem_subst_ind.con.body.xml.gz
2004-04-08 09:06
517
elem_subst_conserve.con.xml.gz
2004-04-08 09:06
748
elem_subst_conserve.con.types.xml.gz
2004-04-08 09:06
2.0K
elem_subst_conserve.con.body.xml.gz
2004-04-08 09:06
2.0K
elem_subst.ind.xml.gz
2004-04-08 09:06
875
elem_subst.ind.types.xml.gz
2004-04-08 09:06
205
dom_decP.con.xml.gz
2004-04-08 09:05
504
dom_decP.con.types.xml.gz
2004-04-08 09:05
1.5K
dom_decP.con.body.xml.gz
2004-04-08 09:05
1.2K
dom.con.xml.gz
2004-04-08 09:05
329
dom.con.types.xml.gz
2004-04-08 09:05
194
dom.con.body.xml.gz
2004-04-08 09:05
507
diffelnb_ind.con.xml.gz
2004-04-08 09:05
1.1K
diffelnb_ind.con.types.xml.gz
2004-04-08 09:05
1.8K
diffelnb_ind.con.body.xml.gz
2004-04-08 09:05
1.9K
diffelnb_DIFFELNB.con.xml.gz
2004-04-08 09:05
476
diffelnb_DIFFELNB.con.types.xml.gz
2004-04-08 09:05
4.9K
diffelnb_DIFFELNB.con.body.xml.gz
2004-04-08 09:05
3.4K
diffelnb.ind.xml.gz
2004-04-08 09:05
924
diffelnb.ind.types.xml.gz
2004-04-08 09:05
202
comp_subst.con.xml.gz
2004-04-08 09:06
625
comp_subst.con.types.xml.gz
2004-04-08 09:06
3.9K
comp_subst.con.body.xml.gz
2004-04-08 09:06
2.8K
clossubst.con.xml.gz
2004-04-08 09:05
500
clossubst.con.types.xml.gz
2004-04-08 09:05
1.5K
clossubst.con.body.xml.gz
2004-04-08 09:05
1.5K
clos_rect.con.xml.gz
2004-04-08 09:05
581
clos_rect.con.types.xml.gz
2004-04-08 09:05
204
clos_rect.con.body.xml.gz
2004-04-08 09:05
689
clos_rec.con.xml.gz
2004-04-08 09:05
582
clos_rec.con.types.xml.gz
2004-04-08 09:05
203
clos_rec.con.body.xml.gz
2004-04-08 09:05
417
clos_ind.con.xml.gz
2004-04-08 09:05
575
clos_ind.con.types.xml.gz
2004-04-08 09:05
690
clos_ind.con.body.xml.gz
2004-04-08 09:05
427
clos_DIFFELNBO.con.xml.gz
2004-04-08 09:05
493
clos_DIFFELNBO.con.types.xml.gz
2004-04-08 09:05
3.1K
clos_DIFFELNBO.con.body.xml.gz
2004-04-08 09:05
2.5K
closRoot.con.xml.gz
2004-04-08 09:05
477
closRoot.con.types.xml.gz
2004-04-08 09:05
931
closRoot.con.body.xml.gz
2004-04-08 09:05
848
closConsArg2.con.xml.gz
2004-04-08 09:05
469
closConsArg2.con.types.xml.gz
2004-04-08 09:05
1.0K
closConsArg2.con.body.xml.gz
2004-04-08 09:05
1.0K
closConsArg1.con.xml.gz
2004-04-08 09:05
468
closConsArg1.con.types.xml.gz
2004-04-08 09:05
1.0K
closConsArg1.con.body.xml.gz
2004-04-08 09:05
1.0K
closConsArg.con.xml.gz
2004-04-08 09:05
510
closConsArg.con.types.xml.gz
2004-04-08 09:05
1.4K
closConsArg.con.body.xml.gz
2004-04-08 09:05
1.3K
clos.ind.xml.gz
2004-04-08 09:05
597
clos.ind.types.xml.gz
2004-04-08 09:05
195
V_stab.con.xml.gz
2004-04-08 09:05
456
V_stab.con.types.xml.gz
2004-04-08 09:05
697
V_stab.con.body.xml.gz
2004-04-08 09:05
528
Unification_rect.con.xml.gz
2004-04-08 09:06
1.5K
Unification_rect.con.types.xml.gz
2004-04-08 09:06
215
Unification_rect.con.body.xml.gz
2004-04-08 09:06
1.7K
Unification_rec.con.xml.gz
2004-04-08 09:06
1.5K
Unification_rec.con.types.xml.gz
2004-04-08 09:06
214
Unification_rec.con.body.xml.gz
2004-04-08 09:06
539
Unification_ind.con.xml.gz
2004-04-08 09:06
1.5K
Unification_ind.con.types.xml.gz
2004-04-08 09:06
2.1K
Unification_ind.con.body.xml.gz
2004-04-08 09:06
546
Unification.ind.xml.gz
2004-04-08 09:06
1.3K
Unification.ind.types.xml.gz
2004-04-08 09:06
206
Unif_DIFFELNB_O.con.xml.gz
2004-04-08 09:06
558
Unif_DIFFELNB_O.con.types.xml.gz
2004-04-08 09:06
3.4K
Unif_DIFFELNB_O.con.body.xml.gz
2004-04-08 09:06
3.3K
UnifV2.con.xml.gz
2004-04-08 09:06
444
UnifV2.con.types.xml.gz
2004-04-08 09:06
199
UnifV2.con.body.xml.gz
2004-04-08 09:06
491
UnifV1.con.xml.gz
2004-04-08 09:06
444
UnifV1.con.types.xml.gz
2004-04-08 09:06
16K
UnifV1.con.body.xml.gz
2004-04-08 09:06
13K
UnifRoot.con.xml.gz
2004-04-08 09:06
547
UnifRoot.con.types.xml.gz
2004-04-08 09:06
5.4K
UnifRoot.con.body.xml.gz
2004-04-08 09:06
5.8K
UnifConsArgfail1.con.xml.gz
2004-04-08 09:06
702
UnifConsArgfail1.con.types.xml.gz
2004-04-08 09:06
1.1K
UnifConsArgfail1.con.body.xml.gz
2004-04-08 09:06
1.1K
UnifC2.con.xml.gz
2004-04-08 09:06
445
UnifC2.con.types.xml.gz
2004-04-08 09:06
198
UnifC2.con.body.xml.gz
2004-04-08 09:06
488
UnifC1.con.xml.gz
2004-04-08 09:06
444
UnifC1.con.types.xml.gz
2004-04-08 09:06
4.8K
UnifC1.con.body.xml.gz
2004-04-08 09:06
3.3K
SUP.con.xml.gz
2004-04-08 09:05
314
SUP.con.types.xml.gz
2004-04-08 09:05
194
SUP.con.body.xml.gz
2004-04-08 09:05
1.1K
SUB_subst.con.xml.gz
2004-04-08 09:05
526
SUB_subst.con.types.xml.gz
2004-04-08 09:05
9.9K
SUB_subst.con.body.xml.gz
2004-04-08 09:05
7.4K
SUB_sub.con.xml.gz
2004-04-08 09:05
447
SUB_sub.con.types.xml.gz
2004-04-08 09:05
3.3K
SUB_sub.con.body.xml.gz
2004-04-08 09:05
3.2K
SUB_diff.con.xml.gz
2004-04-08 09:05
491
SUB_diff.con.types.xml.gz
2004-04-08 09:05
4.7K
SUB_diff.con.body.xml.gz
2004-04-08 09:05
5.1K
SUB.con.xml.gz
2004-04-08 09:05
316
SUB.con.types.xml.gz
2004-04-08 09:05
195
SUB.con.body.xml.gz
2004-04-08 09:05
403
REMOVE_remove.con.xml.gz
2004-04-08 09:05
503
REMOVE_remove.con.types.xml.gz
2004-04-08 09:05
5.1K
REMOVE_remove.con.body.xml.gz
2004-04-08 09:05
5.6K
REMOVE_n_eq_IS_IN_LV_IS_IN_LV.con.xml.gz
2004-04-08 09:05
649
REMOVE_n_eq_IS_IN_LV_IS_IN_LV.con.types.xml.gz
2004-04-08 09:05
4.1K
REMOVE_n_eq_IS_IN_LV_IS_IN_LV.con.body.xml.gz
2004-04-08 09:05
3.3K
REMOVE_n_IS_IN_LV_eq.con.xml.gz
2004-04-08 09:05
595
REMOVE_n_IS_IN_LV_eq.con.types.xml.gz
2004-04-08 09:05
3.2K
REMOVE_n_IS_IN_LV_eq.con.body.xml.gz
2004-04-08 09:05
2.4K
REMOVE_n_IS_IN_LV_DIFFELNB_pred.con.xml.gz
2004-04-08 09:05
665
REMOVE_n_IS_IN_LV_DIFFELNB_pred.con.types.xml.gz
2004-04-08 09:05
18K
REMOVE_n_IS_IN_LV_DIFFELNB_pred.con.body.xml.gz
2004-04-08 09:05
18K
REMOVE_IS_IN_LV_IS_IN_LV.con.xml.gz
2004-04-08 09:05
560
REMOVE_IS_IN_LV_IS_IN_LV.con.types.xml.gz
2004-04-08 09:05
2.7K
REMOVE_IS_IN_LV_IS_IN_LV.con.body.xml.gz
2004-04-08 09:05
2.2K
REMOVE_Consv_n_eq_Headv.con.xml.gz
2004-04-08 09:05
755
REMOVE_Consv_n_eq_Headv.con.types.xml.gz
2004-04-08 09:05
4.4K
REMOVE_Consv_n_eq_Headv.con.body.xml.gz
2004-04-08 09:05
4.8K
REMOVE_Consv_n_eq.con.xml.gz
2004-04-08 09:05
661
REMOVE_Consv_n_eq.con.types.xml.gz
2004-04-08 09:05
2.5K
REMOVE_Consv_n_eq.con.body.xml.gz
2004-04-08 09:05
2.8K
REMOVE_Consv_eq.con.xml.gz
2004-04-08 09:05
551
REMOVE_Consv_eq.con.types.xml.gz
2004-04-08 09:05
2.5K
REMOVE_Consv_eq.con.body.xml.gz
2004-04-08 09:05
2.9K
REMOVE.con.xml.gz
2004-04-08 09:05
357
REMOVE.con.types.xml.gz
2004-04-08 09:05
200
REMOVE.con.body.xml.gz
2004-04-08 09:05
1.2K
IS_IN_Subst_exi_IS_IN.con.xml.gz
2004-04-08 09:05
699
IS_IN_Subst_exi_IS_IN.con.types.xml.gz
2004-04-08 09:05
8.2K
IS_IN_Subst_exi_IS_IN.con.body.xml.gz
2004-04-08 09:05
5.4K
IS_IN_SUB.con.xml.gz
2004-04-08 09:06
649
IS_IN_SUB.con.types.xml.gz
2004-04-08 09:06
9.7K
IS_IN_SUB.con.body.xml.gz
2004-04-08 09:06
7.3K
IS_IN_LV_IS_IN.con.xml.gz
2004-04-08 09:05
513
IS_IN_LV_IS_IN.con.types.xml.gz
2004-04-08 09:05
3.2K
IS_IN_LV_IS_IN.con.body.xml.gz
2004-04-08 09:05
2.1K
IS_IN_IS_IN_LV.con.xml.gz
2004-04-08 09:05
510
IS_IN_IS_IN_LV.con.types.xml.gz
2004-04-08 09:05
3.2K
IS_IN_IS_IN_LV.con.body.xml.gz
2004-04-08 09:05
1.8K
INDEX
2005-07-05 08:11
6.5K
Headv_REMOVE_Consv_Nilv.con.xml.gz
2004-04-08 09:05
667
Headv_REMOVE_Consv_Nilv.con.types.xml.gz
2004-04-08 09:05
3.2K
Headv_REMOVE_Consv_Nilv.con.body.xml.gz
2004-04-08 09:05
3.2K
Decomp_fail.con.xml.gz
2004-04-08 09:06
448
Decomp_fail.con.types.xml.gz
2004-04-08 09:06
3.3K
Decomp_fail.con.body.xml.gz
2004-04-08 09:06
2.1K
DIFFELNBor.con.xml.gz
2004-04-08 09:05
486
DIFFELNBor.con.types.xml.gz
2004-04-08 09:05
3.3K
DIFFELNBor.con.body.xml.gz
2004-04-08 09:05
4.0K
DIFFELNB_st_inclv_le_S.con.xml.gz
2004-04-08 09:05
621
DIFFELNB_st_inclv_le_S.con.types.xml.gz
2004-04-08 09:05
9.6K
DIFFELNB_st_inclv_le_S.con.body.xml.gz
2004-04-08 09:05
9.1K
DIFFELNB_diffelnb.con.xml.gz
2004-04-08 09:05
478
DIFFELNB_diffelnb.con.types.xml.gz
2004-04-08 09:05
3.9K
DIFFELNB_diffelnb.con.body.xml.gz
2004-04-08 09:05
3.3K
DIFFELNB_O_clos.con.xml.gz
2004-04-08 09:05
499
DIFFELNB_O_clos.con.types.xml.gz
2004-04-08 09:05
1.5K
DIFFELNB_O_clos.con.body.xml.gz
2004-04-08 09:05
1.4K
DIFFELNB_O.con.xml.gz
2004-04-08 09:05
483
DIFFELNB_O.con.types.xml.gz
2004-04-08 09:05
1.4K
DIFFELNB_O.con.body.xml.gz
2004-04-08 09:05
1.2K
DIFFELNB_Consv_n_O.con.xml.gz
2004-04-08 09:05
594
DIFFELNB_Consv_n_O.con.types.xml.gz
2004-04-08 09:05
1.8K
DIFFELNB_Consv_n_O.con.body.xml.gz
2004-04-08 09:05
1.5K
DIFFELNB_ConsArg_ConsArg24_le.con.xml.gz
2004-04-08 09:06
826
DIFFELNB_ConsArg_ConsArg24_le.con.types.xml.gz
2004-04-08 09:06
2.4K
DIFFELNB_ConsArg_ConsArg24_le.con.body.xml.gz
2004-04-08 09:06
3.2K
DIFFELNB_ConsArg_ConsArg13_le.con.xml.gz
2004-04-08 09:06
826
DIFFELNB_ConsArg_ConsArg13_le.con.types.xml.gz
2004-04-08 09:06
2.4K
DIFFELNB_ConsArg_ConsArg13_le.con.body.xml.gz
2004-04-08 09:06
3.2K
DIFFELNB.con.xml.gz
2004-04-08 09:05
337
DIFFELNB.con.types.xml.gz
2004-04-08 09:05
204
DIFFELNB.con.body.xml.gz
2004-04-08 09:05
1.1K
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80