Index of /xml/CoRN/ftc/Partitions

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]AntiMesh.con.body.xml.gz2004-11-09 12:59 962  
[ ]AntiMesh.con.types.xml.gz2004-11-09 12:59 199  
[ ]AntiMesh.con.xml.gz2004-11-09 12:59 1.0K 
[ ]AntiMesh_lemma.con.body.xml.gz2004-11-09 13:00 70K 
[ ]AntiMesh_lemma.con.types.xml.gz2004-11-09 13:00 118K 
[ ]AntiMesh_lemma.con.xml.gz2004-11-09 13:00 958  
[ ]AntiMesh_nonneg.con.body.xml.gz2004-11-09 12:59 12K 
[ ]AntiMesh_nonneg.con.types.xml.gz2004-11-09 12:59 16K 
[ ]AntiMesh_nonneg.con.xml.gz2004-11-09 12:59 1.1K 
[DIR]Definitions/2005-07-05 08:13 -  
[ ]Even_Partition.con.body.xml.gz2004-11-09 12:59 16K 
[ ]Even_Partition.con.types.xml.gz2004-11-09 12:59 35K 
[ ]Even_Partition.con.xml.gz2004-11-09 12:59 937  
[ ]Even_Partition_Sum.con.body.xml.gz2004-11-09 12:59 960  
[ ]Even_Partition_Sum.con.types.xml.gz2004-11-09 12:59 1.0K 
[ ]Even_Partition_Sum.con.xml.gz2004-11-09 12:59 693  
[DIR]Even_Partitions/2005-07-05 08:13 -  
[ ]INDEX2005-07-05 08:11 2.8K 
[DIR]Lemmas/2005-07-05 08:13 -  
[ ]Mesh.con.body.xml.gz2004-11-09 12:59 955  
[ ]Mesh.con.types.xml.gz2004-11-09 12:59 192  
[ ]Mesh.con.xml.gz2004-11-09 12:59 968  
[ ]Mesh_leEq.con.body.xml.gz2004-11-09 13:00 29K 
[ ]Mesh_leEq.con.types.xml.gz2004-11-09 13:00 29K 
[ ]Mesh_leEq.con.xml.gz2004-11-09 13:00 795  
[ ]Mesh_lemma.con.body.xml.gz2004-11-09 12:59 33K 
[ ]Mesh_lemma.con.types.xml.gz2004-11-09 12:59 55K 
[ ]Mesh_lemma.con.xml.gz2004-11-09 12:59 948  
[ ]Mesh_nonneg.con.body.xml.gz2004-11-09 12:59 8.0K 
[ ]Mesh_nonneg.con.types.xml.gz2004-11-09 12:59 11K 
[ ]Mesh_nonneg.con.xml.gz2004-11-09 12:59 1.1K 
[ ]Mesh_wd'.con.body.xml.gz2004-11-09 13:00 1.5K 
[ ]Mesh_wd'.con.types.xml.gz2004-11-09 13:00 2.2K 
[ ]Mesh_wd'.con.xml.gz2004-11-09 13:00 1.5K 
[ ]Mesh_wd.con.body.xml.gz2004-11-09 13:00 30K 
[ ]Mesh_wd.con.types.xml.gz2004-11-09 13:00 59K 
[ ]Mesh_wd.con.xml.gz2004-11-09 13:00 1.7K 
[DIR]More_Definitions/2005-07-05 08:13 -  
[ ]Part_Mesh_List.con.body.xml.gz2004-11-09 12:59 3.4K 
[ ]Part_Mesh_List.con.types.xml.gz2004-11-09 12:59 789  
[ ]Part_Mesh_List.con.xml.gz2004-11-09 12:59 1.0K 
[ ]Part_Mesh_List_lemma.con.body.xml.gz2004-11-09 12:59 28K 
[ ]Part_Mesh_List_lemma.con.types.xml.gz2004-11-09 12:59 13K 
[ ]Part_Mesh_List_lemma.con.xml.gz2004-11-09 12:59 2.1K 
[ ]Partition.ind.types.xml.gz2004-11-09 12:59 195  
[ ]Partition.ind.xml.gz2004-11-09 12:59 2.4K 
[ ]Partition_Dom.con.body.xml.gz2004-11-09 12:59 2.3K 
[ ]Partition_Dom.con.types.xml.gz2004-11-09 12:59 4.0K 
[ ]Partition_Dom.con.xml.gz2004-11-09 12:59 1.1K 
[ ]Partition_Points_mon.con.body.xml.gz2004-11-09 13:01 2.7K 
[ ]Partition_Points_mon.con.types.xml.gz2004-11-09 13:01 3.3K 
[ ]Partition_Points_mon.con.xml.gz2004-11-09 13:01 1.1K 
[ ]Partition_Sum.con.body.xml.gz2004-11-09 12:59 2.5K 
[ ]Partition_Sum.con.types.xml.gz2004-11-09 12:59 1.5K 
[ ]Partition_Sum.con.xml.gz2004-11-09 12:59 1.3K 
[ ]Partition_imp_points.con.body.xml.gz2004-11-09 12:59 601  
[ ]Partition_imp_points.con.types.xml.gz2004-11-09 12:59 379  
[ ]Partition_imp_points.con.xml.gz2004-11-09 12:59 667  
[ ]Partition_imp_points_1.con.body.xml.gz2004-11-09 12:59 1.3K 
[ ]Partition_imp_points_1.con.types.xml.gz2004-11-09 12:59 2.3K 
[ ]Partition_imp_points_1.con.xml.gz2004-11-09 12:59 446  
[ ]Partition_imp_points_2.con.body.xml.gz2004-11-09 12:59 774  
[ ]Partition_imp_points_2.con.types.xml.gz2004-11-09 12:59 1.6K 
[ ]Partition_imp_points_2.con.xml.gz2004-11-09 12:59 562  
[ ]Partition_in_compact.con.body.xml.gz2004-11-09 12:59 2.0K 
[ ]Partition_in_compact.con.types.xml.gz2004-11-09 12:59 2.5K 
[ ]Partition_in_compact.con.xml.gz2004-11-09 12:59 1.0K 
[ ]Partition_ind.con.body.xml.gz2004-11-09 12:59 1.0K 
[ ]Partition_ind.con.types.xml.gz2004-11-09 12:59 3.3K 
[ ]Partition_ind.con.xml.gz2004-11-09 12:59 2.4K 
[ ]Partition_mon.con.body.xml.gz2004-11-09 12:59 15K 
[ ]Partition_mon.con.types.xml.gz2004-11-09 12:59 14K 
[ ]Partition_mon.con.xml.gz2004-11-09 12:59 1.2K 
[ ]Partition_rec.con.body.xml.gz2004-11-09 12:59 1.0K 
[ ]Partition_rec.con.types.xml.gz2004-11-09 12:59 204  
[ ]Partition_rec.con.xml.gz2004-11-09 12:59 2.4K 
[ ]Partition_rect.con.body.xml.gz2004-11-09 12:59 2.6K 
[ ]Partition_rect.con.types.xml.gz2004-11-09 12:59 205  
[ ]Partition_rect.con.xml.gz2004-11-09 12:59 2.4K 
[ ]Points_in_Partition.con.body.xml.gz2004-11-09 12:59 1.1K 
[ ]Points_in_Partition.con.types.xml.gz2004-11-09 12:59 889  
[ ]Points_in_Partition.con.xml.gz2004-11-09 12:59 695  
[ ]Pts.con.body.xml.gz2004-11-09 12:59 2.4K 
[ ]Pts.con.types.xml.gz2004-11-09 12:59 190  
[ ]Pts.con.xml.gz2004-11-09 12:59 1.0K 
[ ]Pts_part_lemma.con.body.xml.gz2004-11-09 12:59 3.4K 
[ ]Pts_part_lemma.con.types.xml.gz2004-11-09 12:59 4.4K 
[ ]Pts_part_lemma.con.xml.gz2004-11-09 12:59 903  
[ ]Refinement.con.body.xml.gz2004-11-09 12:59 1.5K 
[ ]Refinement.con.types.xml.gz2004-11-09 12:59 202  
[ ]Refinement.con.xml.gz2004-11-09 12:59 289  
[ ]Refinement_prop.con.body.xml.gz2004-11-09 12:59 21K 
[ ]Refinement_prop.con.types.xml.gz2004-11-09 12:59 11K 
[ ]Refinement_prop.con.xml.gz2004-11-09 12:59 1.5K 
[DIR]Sep_Partitions/2005-07-05 08:13 -  
[ ]Separated.con.body.xml.gz2004-11-09 13:02 1.1K 
[ ]Separated.con.types.xml.gz2004-11-09 13:02 201  
[ ]Separated.con.xml.gz2004-11-09 13:02 288  
[ ]_Separated.con.body.xml.gz2004-11-09 13:02 1.1K 
[ ]_Separated.con.types.xml.gz2004-11-09 13:02 203  
[ ]_Separated.con.xml.gz2004-11-09 13:02 448  
[ ]_Separated_imp_length_zero.con.body.xml.gz2004-11-09 13:02 3.0K 
[ ]_Separated_imp_length_zero.con.types.xml.gz2004-11-09 13:02 3.1K 
[ ]_Separated_imp_length_zero.con.xml.gz2004-11-09 13:02 899  
[ ]_Separated_imp_length_zero_subproof.con.body.xml.gz2004-11-09 13:02 5.4K 
[ ]_Separated_imp_length_zero_subproof.con.types.xml.gz2004-11-09 13:02 4.5K 
[ ]_Separated_imp_length_zero_subproof.con.xml.gz2004-11-09 13:02 1.0K 
[ ]even_part_1.con.body.xml.gz2004-11-09 12:59 25K 
[ ]even_part_1.con.types.xml.gz2004-11-09 12:59 28K 
[ ]even_part_1.con.xml.gz2004-11-09 12:59 2.2K 
[ ]even_part_2.con.body.xml.gz2004-11-09 12:59 26K 
[ ]even_part_2.con.types.xml.gz2004-11-09 12:59 29K 
[ ]even_part_2.con.xml.gz2004-11-09 12:59 2.2K 
[ ]even_partition_Mesh.con.body.xml.gz2004-11-09 13:01 564K 
[ ]even_partition_Mesh.con.types.xml.gz2004-11-09 13:01 734K 
[ ]even_partition_Mesh.con.xml.gz2004-11-09 13:01 1.5K 
[ ]even_partition_refinement.con.body.xml.gz2004-11-09 13:02 7.2K 
[ ]even_partition_refinement.con.types.xml.gz2004-11-09 13:02 10K 
[ ]even_partition_refinement.con.xml.gz2004-11-09 13:02 1.1K 
[ ]finish.con.body.xml.gz2004-11-09 12:59 2.6K 
[ ]finish.con.types.xml.gz2004-11-09 12:59 3.2K 
[ ]finish.con.xml.gz2004-11-09 12:59 1.1K 
[ ]length_Part_Mesh_List.con.body.xml.gz2004-11-09 12:59 5.5K 
[ ]length_Part_Mesh_List.con.types.xml.gz2004-11-09 12:59 7.0K 
[ ]length_Part_Mesh_List.con.xml.gz2004-11-09 12:59 1.2K 
[ ]part_pred_lemma.con.body.xml.gz2004-11-09 12:59 1.4K 
[ ]part_pred_lemma.con.types.xml.gz2004-11-09 12:59 1.7K 
[ ]part_pred_lemma.con.xml.gz2004-11-09 12:59 1.0K 
[ ]partition_length_zero.con.body.xml.gz2004-11-09 13:02 1.2K 
[ ]partition_length_zero.con.types.xml.gz2004-11-09 13:02 1.6K 
[ ]partition_length_zero.con.xml.gz2004-11-09 13:02 669  
[ ]partition_less_imp_gt_zero.con.body.xml.gz2004-11-09 13:02 2.0K 
[ ]partition_less_imp_gt_zero.con.types.xml.gz2004-11-09 13:02 1.7K 
[ ]partition_less_imp_gt_zero.con.xml.gz2004-11-09 13:02 866  
[ ]pos_AntiMesh.con.body.xml.gz2004-11-09 13:02 14K 
[ ]pos_AntiMesh.con.types.xml.gz2004-11-09 13:02 14K 
[ ]pos_AntiMesh.con.xml.gz2004-11-09 13:02 1.1K 
[ ]prf1.con.body.xml.gz2004-11-09 12:59 2.8K 
[ ]prf1.con.types.xml.gz2004-11-09 12:59 4.1K 
[ ]prf1.con.xml.gz2004-11-09 12:59 1.3K 
[ ]prf2.con.body.xml.gz2004-11-09 12:59 2.7K 
[ ]prf2.con.types.xml.gz2004-11-09 12:59 3.5K 
[ ]prf2.con.xml.gz2004-11-09 12:59 1.2K 
[ ]refinement_resp_mult.con.body.xml.gz2004-11-09 13:02 102K 
[ ]refinement_resp_mult.con.types.xml.gz2004-11-09 13:02 114K 
[ ]refinement_resp_mult.con.xml.gz2004-11-09 13:02 1.0K 
[ ]start.con.body.xml.gz2004-11-09 12:59 2.6K 
[ ]start.con.types.xml.gz2004-11-09 12:59 3.2K 
[ ]start.con.xml.gz2004-11-09 12:59 1.1K 
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80