Index of /~adolfo/TableauProver/TPExe/problems/input/wagner

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[TXT]list.txt2004-11-01 08:02 322  
[TXT]listToProve.txt2004-11-01 08:02 359  
Apache/2.4.61 (Debian) Server at www.ime.usp.br Port 443