![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| BDDof_bool_expr.con.body.xml.gz | 2004-04-08 09:18 | 3.4K | |
| BDDof_bool_expr.con.types.xml.gz | 2004-04-08 09:18 | 209 | |
| BDDof_bool_expr.con.xml.gz | 2004-04-08 09:18 | 472 | |
| BDDof_bool_expr_correct.con.body.xml.gz | 2004-04-08 09:18 | 259K | |
| BDDof_bool_expr_correct.con.types.xml.gz | 2004-04-08 09:18 | 619K | |
| BDDof_bool_expr_correct.con.xml.gz | 2004-04-08 09:18 | 1.3K | |
| INDEX | 2005-07-05 08:10 | 296 | |
| init_list_OK.con.body.xml.gz | 2004-04-08 09:18 | 750 | |
| init_list_OK.con.types.xml.gz | 2004-04-08 09:18 | 1.4K | |
| init_list_OK.con.xml.gz | 2004-04-08 09:18 | 471 | |
| is_tauto.con.body.xml.gz | 2004-04-08 09:18 | 604 | |
| is_tauto.con.types.xml.gz | 2004-04-08 09:18 | 196 | |
| is_tauto.con.xml.gz | 2004-04-08 09:18 | 311 | |
| is_tauto_lemma.con.body.xml.gz | 2004-04-08 09:18 | 10K | |
| is_tauto_lemma.con.types.xml.gz | 2004-04-08 09:18 | 10K | |
| is_tauto_lemma.con.xml.gz | 2004-04-08 09:18 | 557 | |
| tauto/ | 2005-07-05 08:12 | - | |