Index of /~tassi/tptp

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]README2006-07-28 10:46 1.1K 
[ ]core_notation.moo2006-07-27 17:31 2.6K 
[ ]matita.conf.xml2006-07-27 17:28 3.0K 
[ ]matitaprover.opt.static2006-08-06 19:38 4.4M 
Apache/2.4.57 (Debian) Server at mowgli.cs.unibo.it Port 80