Index of /xml/Nijmegen/QArith/sqrt2/sqrt2_decrease

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]INDEX2005-07-05 08:13 126  
[   ]hyp_sqrt.var.types.xml.gz2004-04-08 18:11 212  
[   ]hyp_sqrt.var.xml.gz2004-04-08 18:11 466  
[   ]p.var.types.xml.gz2004-04-08 18:11 200  
[   ]p.var.xml.gz2004-04-08 18:11 228  
[   ]pos_q.var.types.xml.gz2004-04-08 18:11 207  
[   ]pos_q.var.xml.gz2004-04-08 18:11 339  
[   ]q.var.types.xml.gz2004-04-08 18:11 200  
[   ]q.var.xml.gz2004-04-08 18:11 227  

Apache/2.4.57 (Debian) Server at mowgli.cs.unibo.it Port 80