![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | Dec.agda | 2012-11-28 23:08 | 6.0K | |
![]() | Props.agda | 2013-04-22 18:29 | 8.9K | |
![]() | Subset.agda | 2011-09-24 20:24 | 2.9K | |
![]() | Subset/ | 2011-09-24 20:24 | - | |
![]() | Substitution.agda | 2011-09-24 20:24 | 4.6K | |
![]() | Substitution/ | 2011-09-24 20:24 | - | |