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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory   -  
[TXT]Lexicographic.agda 2013-07-16 22:43 2.7K 
[TXT]Nat.agda 2013-07-16 22:43 7.4K 
[TXT]WellFounded.agda 2013-07-16 22:43 4.8K