Index of /~adolfo/TableauProver/TPExe/problems/output/wagnerNew

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]gamma_l_020.proof.xml2005-02-25 08:46 8.0K 
[ ]gamma_l_040.proof.xml2005-02-25 08:46 12K 
[ ]gamma_l_060.proof.xml2005-02-25 08:46 17K 
[ ]gamma_l_080.proof.xml2005-02-25 08:46 22K 
[ ]gamma_l_100.proof.xml2005-02-25 08:46 25K 
[ ]gamma_n_l_020.proof.xml2005-02-25 08:45 7.9K 
[ ]gamma_n_l_040.proof.xml2005-02-25 08:45 12K 
[ ]gamma_n_l_060.proof.xml2005-02-25 08:46 17K 
[ ]gamma_n_l_080.proof.xml2005-02-25 08:46 21K 
[ ]gamma_n_l_100.proof.xml2005-02-25 08:46 25K 
[ ]h_1.proof.xml2005-02-25 08:46 2.7K 
[ ]h_2.proof.xml2005-02-25 08:46 5.8K 
[ ]h_3.proof.xml2005-02-25 08:46 13K 
[ ]h_4.proof.xml2005-02-25 08:46 38K 
[ ]h_n_1.proof.xml2005-02-25 08:46 2.8K 
[ ]h_n_2.proof.xml2005-02-25 08:46 6.8K 
[ ]h_n_3.proof.xml2005-02-25 08:46 15K 
[ ]h_n_4.proof.xml2005-02-25 08:46 41K 
[ ]php_2.proof.xml2005-02-25 08:18 9.0K 
[ ]php_3.proof.xml2005-02-25 08:18 45K 
[ ]php_n_2.proof.xml2005-02-25 08:18 19K 
[ ]statman_01.proof.xml2005-02-25 08:46 2.2K 
[ ]statman_05.proof.xml2005-02-25 08:46 132K 
[ ]statman_n_01.proof.xml2005-02-25 08:48 2.2K 
[DIR]tex/2005-01-12 11:35 -  
Apache/2.4.62 (Debian) Server at www.ime.usp.br Port 443