![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| transp.tex.gz | 2003-11-05 08:52 | 7.1K | |
| transp.ps.gz | 2003-11-05 08:52 | 45K | |
| texte.ps.gz | 2003-11-05 08:52 | 35K | |
| propositional.v | 2003-11-05 08:52 | 8.3K | |
| minimal_and_or.v | 2003-11-05 08:52 | 3.9K | |
| exercice.v | 2003-11-05 08:52 | 878 | |
| axioms_and_or.v | 2003-11-05 08:52 | 1.7K | |
| axioms.v | 2003-11-05 08:52 | 766 | |