Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
INDEX | 2005-07-05 08:11 | 227 | ||
Zwf.con.body.xml.gz | 2004-04-08 01:31 | 449 | ||
Zwf.con.types.xml.gz | 2004-04-08 01:31 | 187 | ||
Zwf.con.xml.gz | 2004-04-08 01:31 | 307 | ||
Zwf_up.con.body.xml.gz | 2004-04-08 01:31 | 461 | ||
Zwf_up.con.types.xml.gz | 2004-04-08 01:31 | 194 | ||
Zwf_up.con.xml.gz | 2004-04-08 01:31 | 314 | ||
Zwf_up_well_founded.con.body.xml.gz | 2004-04-08 01:31 | 1.9K | ||
Zwf_up_well_founded.con.proof_tree.xml.gz | 2004-04-09 18:52 | 3.9K | ||
Zwf_up_well_founded.con.types.xml.gz | 2004-04-08 01:31 | 2.0K | ||
Zwf_up_well_founded.con.xml.gz | 2004-04-08 01:31 | 401 | ||
Zwf_well_founded.con.body.xml.gz | 2004-04-08 01:31 | 34K | ||
Zwf_well_founded.con.proof_tree.xml.gz | 2004-04-09 18:52 | 9.4K | ||
Zwf_well_founded.con.types.xml.gz | 2004-04-08 01:31 | 25K | ||
Zwf_well_founded.con.xml.gz | 2004-04-08 01:31 | 400 | ||
wf_proof/ | 2005-07-05 08:13 | - | ||
wf_proof_up/ | 2005-07-05 08:13 | - | ||