Index of /xml/CoRN/devel/loeb/IDA/Ch6_inv

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]C_0_n.con.body.xml.gz2004-11-09 19:48 63K 
[ ]C_0_n.con.types.xml.gz2004-11-09 19:48 227K 
[ ]C_0_n.con.xml.gz2004-11-09 19:48 757  
[ ]C_0_n_subproof.con.body.xml.gz2004-11-09 19:48 3.0K 
[ ]C_0_n_subproof.con.types.xml.gz2004-11-09 19:48 3.0K 
[ ]C_0_n_subproof.con.xml.gz2004-11-09 19:48 766  
[ ]C_0_n_subproof0.con.body.xml.gz2004-11-09 19:48 4.2K 
[ ]C_0_n_subproof0.con.types.xml.gz2004-11-09 19:48 3.3K 
[ ]C_0_n_subproof0.con.xml.gz2004-11-09 19:48 763  
[ ]C_0_n_subproof1.con.body.xml.gz2004-11-09 19:48 4.7K 
[ ]C_0_n_subproof1.con.types.xml.gz2004-11-09 19:48 3.7K 
[ ]C_0_n_subproof1.con.xml.gz2004-11-09 19:48 810  
[ ]C_0_n_subproof2.con.body.xml.gz2004-11-09 19:48 5.0K 
[ ]C_0_n_subproof2.con.types.xml.gz2004-11-09 19:48 4.0K 
[ ]C_0_n_subproof2.con.xml.gz2004-11-09 19:48 827  
[ ]C_0_n_subproof3.con.body.xml.gz2004-11-09 19:48 2.1K 
[ ]C_0_n_subproof3.con.types.xml.gz2004-11-09 19:48 2.1K 
[ ]C_0_n_subproof3.con.xml.gz2004-11-09 19:48 769  
[ ]C_0_n_subproof4.con.body.xml.gz2004-11-09 19:48 2.4K 
[ ]C_0_n_subproof4.con.types.xml.gz2004-11-09 19:48 2.5K 
[ ]C_0_n_subproof4.con.xml.gz2004-11-09 19:48 791  
[ ]C_0_n_subproof5.con.body.xml.gz2004-11-09 19:48 6.4K 
[ ]C_0_n_subproof5.con.types.xml.gz2004-11-09 19:48 5.2K 
[ ]C_0_n_subproof5.con.xml.gz2004-11-09 19:48 897  
[ ]C_0_n_subproof6.con.body.xml.gz2004-11-09 19:48 6.4K 
[ ]C_0_n_subproof6.con.types.xml.gz2004-11-09 19:48 5.2K 
[ ]C_0_n_subproof6.con.xml.gz2004-11-09 19:48 895  
[ ]C_0_n_subproof7.con.body.xml.gz2004-11-09 19:48 6.4K 
[ ]C_0_n_subproof7.con.types.xml.gz2004-11-09 19:48 5.2K 
[ ]C_0_n_subproof7.con.xml.gz2004-11-09 19:48 892  
[ ]C_0_n_subproof8.con.body.xml.gz2004-11-09 19:48 7.1K 
[ ]C_0_n_subproof8.con.types.xml.gz2004-11-09 19:48 5.8K 
[ ]C_0_n_subproof8.con.xml.gz2004-11-09 19:48 947  
[ ]C_0_n_subproof9.con.body.xml.gz2004-11-09 19:48 7.3K 
[ ]C_0_n_subproof9.con.types.xml.gz2004-11-09 19:48 6.0K 
[ ]C_0_n_subproof9.con.xml.gz2004-11-09 19:48 955  
[ ]C_0_n_subproof10.con.body.xml.gz2004-11-09 19:48 6.6K 
[ ]C_0_n_subproof10.con.types.xml.gz2004-11-09 19:48 5.4K 
[ ]C_0_n_subproof10.con.xml.gz2004-11-09 19:48 896  
[ ]C_0_n_subproof11.con.body.xml.gz2004-11-09 19:48 8.9K 
[ ]C_0_n_subproof11.con.types.xml.gz2004-11-09 19:48 8.3K 
[ ]C_0_n_subproof11.con.xml.gz2004-11-09 19:48 1.0K 
[ ]C_0_n_subproof12.con.body.xml.gz2004-11-09 19:48 8.5K 
[ ]C_0_n_subproof12.con.types.xml.gz2004-11-09 19:48 8.1K 
[ ]C_0_n_subproof12.con.xml.gz2004-11-09 19:48 1.0K 
[ ]INDEX2005-07-05 08:14 1.8K 
[ ]Zgt_Zge.con.body.xml.gz2004-11-09 19:48 612  
[ ]Zgt_Zge.con.types.xml.gz2004-11-09 19:48 590  
[ ]Zgt_Zge.con.xml.gz2004-11-09 19:48 419  
[ ]Zgt_Zge_subproof.con.body.xml.gz2004-11-09 19:48 4.2K 
[ ]Zgt_Zge_subproof.con.types.xml.gz2004-11-09 19:48 3.2K 
[ ]Zgt_Zge_subproof.con.xml.gz2004-11-09 19:48 440  
[ ]c_n_minus_a.con.body.xml.gz2004-11-09 19:48 2.1K 
[ ]c_n_minus_a.con.types.xml.gz2004-11-09 19:48 1.1K 
[ ]c_n_minus_a.con.xml.gz2004-11-09 19:48 670  
[ ]c_n_minus_a_subproof.con.body.xml.gz2004-11-09 19:48 6.3K 
[ ]c_n_minus_a_subproof.con.types.xml.gz2004-11-09 19:48 5.0K 
[ ]c_n_minus_a_subproof.con.xml.gz2004-11-09 19:48 735  
[ ]c_n_minus_a_subproof0.con.body.xml.gz2004-11-09 19:48 6.0K 
[ ]c_n_minus_a_subproof0.con.types.xml.gz2004-11-09 19:48 4.6K 
[ ]c_n_minus_a_subproof0.con.xml.gz2004-11-09 19:48 739  
[ ]invertible.con.body.xml.gz2004-11-09 19:48 1.0K 
[ ]invertible.con.types.xml.gz2004-11-09 19:48 209  
[ ]invertible.con.xml.gz2004-11-09 19:48 436  
[ ]not_inv.con.body.xml.gz2004-11-09 19:49 38K 
[ ]not_inv.con.types.xml.gz2004-11-09 19:49 117K 
[ ]not_inv.con.xml.gz2004-11-09 19:49 1.0K 
[ ]not_inv_subproof.con.body.xml.gz2004-11-09 19:49 8.9K 
[ ]not_inv_subproof.con.types.xml.gz2004-11-09 19:49 7.8K 
[ ]not_inv_subproof.con.xml.gz2004-11-09 19:49 1.8K 
[ ]not_inv_subproof0.con.body.xml.gz2004-11-09 19:49 11K 
[ ]not_inv_subproof0.con.types.xml.gz2004-11-09 19:49 8.9K 
[ ]not_inv_subproof0.con.xml.gz2004-11-09 19:49 1.9K 
[ ]not_inv_subproof1.con.body.xml.gz2004-11-09 19:49 11K 
[ ]not_inv_subproof1.con.types.xml.gz2004-11-09 19:49 8.9K 
[ ]not_inv_subproof1.con.xml.gz2004-11-09 19:49 1.9K 
[ ]not_inv_subproof2.con.body.xml.gz2004-11-09 19:49 9.8K 
[ ]not_inv_subproof2.con.types.xml.gz2004-11-09 19:49 8.5K 
[ ]not_inv_subproof2.con.xml.gz2004-11-09 19:49 2.1K 
[ ]plus_nminus1.con.body.xml.gz2004-11-09 19:48 1.4K 
[ ]plus_nminus1.con.types.xml.gz2004-11-09 19:48 828  
[ ]plus_nminus1.con.xml.gz2004-11-09 19:48 647  
[ ]plus_nminus1_subproof.con.body.xml.gz2004-11-09 19:48 2.3K 
[ ]plus_nminus1_subproof.con.types.xml.gz2004-11-09 19:48 2.0K 
[ ]plus_nminus1_subproof.con.xml.gz2004-11-09 19:48 542  
[ ]plus_nminus1_subproof0.con.body.xml.gz2004-11-09 19:48 3.5K 
[ ]plus_nminus1_subproof0.con.types.xml.gz2004-11-09 19:48 3.1K 
[ ]plus_nminus1_subproof0.con.xml.gz2004-11-09 19:48 538  
[ ]unit_inv.con.body.xml.gz2004-11-09 19:49 11K 
[ ]unit_inv.con.types.xml.gz2004-11-09 19:49 50K 
[ ]unit_inv.con.xml.gz2004-11-09 19:49 704  
[ ]unit_inv_subproof.con.body.xml.gz2004-11-09 19:49 6.6K 
[ ]unit_inv_subproof.con.types.xml.gz2004-11-09 19:49 5.5K 
[ ]unit_inv_subproof.con.xml.gz2004-11-09 19:49 640  
[ ]unit_inv_subproof0.con.body.xml.gz2004-11-09 19:49 6.6K 
[ ]unit_inv_subproof0.con.types.xml.gz2004-11-09 19:49 5.5K 
[ ]unit_inv_subproof0.con.xml.gz2004-11-09 19:49 642  
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80