Index of /~nad/repos/lib/src/Induction

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory   -  
[   ]Lexicographic.agda 16-Jul-2013 22:43 2.7K 
[   ]Nat.agda 16-Jul-2013 22:43 7.4K 
[   ]WellFounded.agda 16-Jul-2013 22:43 4.8K