Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
gamma_l_020.proof.xml | 2005-02-25 08:46 | 8.0K | ||
gamma_l_040.proof.xml | 2005-02-25 08:46 | 12K | ||
gamma_l_060.proof.xml | 2005-02-25 08:46 | 17K | ||
gamma_l_080.proof.xml | 2005-02-25 08:46 | 22K | ||
gamma_l_100.proof.xml | 2005-02-25 08:46 | 25K | ||
gamma_n_l_020.proof.xml | 2005-02-25 08:45 | 7.9K | ||
gamma_n_l_040.proof.xml | 2005-02-25 08:45 | 12K | ||
gamma_n_l_060.proof.xml | 2005-02-25 08:46 | 17K | ||
gamma_n_l_080.proof.xml | 2005-02-25 08:46 | 21K | ||
gamma_n_l_100.proof.xml | 2005-02-25 08:46 | 25K | ||
h_1.proof.xml | 2005-02-25 08:46 | 2.7K | ||
h_2.proof.xml | 2005-02-25 08:46 | 5.8K | ||
h_3.proof.xml | 2005-02-25 08:46 | 13K | ||
h_4.proof.xml | 2005-02-25 08:46 | 38K | ||
h_n_1.proof.xml | 2005-02-25 08:46 | 2.8K | ||
h_n_2.proof.xml | 2005-02-25 08:46 | 6.8K | ||
h_n_3.proof.xml | 2005-02-25 08:46 | 15K | ||
h_n_4.proof.xml | 2005-02-25 08:46 | 41K | ||
php_2.proof.xml | 2005-02-25 08:18 | 9.0K | ||
php_3.proof.xml | 2005-02-25 08:18 | 45K | ||
php_n_2.proof.xml | 2005-02-25 08:18 | 19K | ||
statman_01.proof.xml | 2005-02-25 08:46 | 2.2K | ||
statman_05.proof.xml | 2005-02-25 08:46 | 132K | ||
statman_n_01.proof.xml | 2005-02-25 08:48 | 2.2K | ||
tex/ | 2005-01-12 11:35 | - | ||