![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[ ]](/icons/tar.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| CZF/ | 2015-06-10 16:33 | - | |
| Cwf/ | 2015-06-07 15:15 | - | |
| FiniteSubsets/ | 2015-06-10 17:06 | - | |
| IFam/ | 2015-06-10 15:52 | - | |
| IR/ | 2015-05-31 21:51 | - | |
| IType/ | 2015-06-10 15:49 | - | |
| Id/ | 2015-06-06 14:05 | - | |
| LF/ | 2015-06-09 14:54 | - | |
| MLTT/ | 2015-06-10 15:41 | - | |
| Record/ | 2015-06-10 17:17 | - | |
| Semantics/ | 2015-06-08 22:43 | - | |
| SmallProofs/ | 2015-06-10 17:18 | - | |
| agda-oplss.tar | 2015-06-21 22:25 | 942K | |