Index of /~nad/repos/lib/src/Induction
Name
Last modified
Size
Description
Parent Directory
-
Lexicographic.agda
2013-07-16 22:43
2.7K
Nat.agda
2013-07-16 22:43
7.4K
WellFounded.agda
2013-07-16 22:43
4.8K