Index of /xml/Coq/Init/Logic_Type/identity_is_a_congruence

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]A.var.types.xml.gz2004-04-08 01:27 205  
[   ]A.var.xml.gz2004-04-08 01:27 199  
[   ]B.var.types.xml.gz2004-04-08 01:27 205  
[   ]B.var.xml.gz2004-04-08 01:27 199  
[   ]INDEX2005-07-05 08:12 156  
[   ]f.var.types.xml.gz2004-04-08 01:27 204  
[   ]f.var.xml.gz2004-04-08 01:27 303  
[   ]x.var.types.xml.gz2004-04-08 01:27 204  
[   ]x.var.xml.gz2004-04-08 01:27 246  
[   ]y.var.types.xml.gz2004-04-08 01:27 204  
[   ]y.var.xml.gz2004-04-08 01:27 246  
[   ]z.var.types.xml.gz2004-04-08 01:27 205  
[   ]z.var.xml.gz2004-04-08 01:27 247  

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