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