Index of /~nad/repos/equality/Equality

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory   -  
[   ]Decidable-UIP.agda 04-Apr-2014 21:29 4.1K 
[   ]Decision-procedures...>10-Dec-2012 00:08 8.3K 
[   ]Groupoid.agda 03-Oct-2014 21:08 9.6K 
[   ]Instances-isomorphic..>09-Sep-2013 14:21 2.2K 
[   ]Propositional.agda 10-Feb-2013 20:25 1.4K 
[   ]Tactic.agda 03-Oct-2014 21:08 13K