Index of /~nad/repos/equality/Equality

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory   -  
[   ]Decidable-UIP.agda 23-Apr-2015 11:12 7.0K 
[   ]Decision-procedures...>23-Apr-2015 11:12 8.2K 
[   ]Groupoid.agda 25-Mar-2015 20:40 9.6K 
[   ]Instances-isomorphic..>09-Sep-2013 14:21 2.2K 
[   ]Propositional.agda 01-Sep-2015 15:19 1.4K 
[   ]Tactic.agda 03-Oct-2014 21:08 13K