Index of /xml/Coq/ring/Ring_normalize/rings

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]A.var.types.xml.gz2004-04-08 01:29 192  
[   ]A.var.xml.gz2004-04-08 01:29 199  
[   ]Aeq.var.types.xml.gz2004-04-08 01:29 195  
[   ]Aeq.var.xml.gz2004-04-08 01:29 324  
[   ]Amult.var.types.xml.gz2004-04-08 01:29 199  
[   ]Amult.var.xml.gz2004-04-08 01:29 298  
[   ]Aone.var.types.xml.gz2004-04-08 01:29 197  
[   ]Aone.var.xml.gz2004-04-08 01:29 239  
[   ]Aopp.var.types.xml.gz2004-04-08 01:29 197  
[   ]Aopp.var.xml.gz2004-04-08 01:29 287  
[   ]Aplus.var.types.xml.gz2004-04-08 01:29 199  
[   ]Aplus.var.xml.gz2004-04-08 01:29 298  
[   ]Azero.var.types.xml.gz2004-04-08 01:29 199  
[   ]Azero.var.xml.gz2004-04-08 01:29 240  
[   ]INDEX2005-07-05 08:13 276  
[   ]T.var.types.xml.gz2004-04-08 01:29 191  
[   ]T.var.xml.gz2004-04-08 01:29 423  
[   ]vm.var.types.xml.gz2004-04-08 01:29 193  
[   ]vm.var.xml.gz2004-04-08 01:29 311  

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