![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| CoC.agda | 13-Jun-2010 22:34 | 2.6K | |
| Data.agda | 06-Jun-2010 02:46 | 885 | |
| DataHierarchy.agda | 06-Jun-2010 02:46 | 1.8K | |
| HM.agda | 11-Jun-2010 20:06 | 1.7K | |
| Hierarchy.agda | 06-Jun-2010 02:46 | 2.0K | |
| IRDataHierarchy.agda | 12-Jun-2010 19:21 | 6.3K | |
| Meta.agda | 02-Aug-2010 20:29 | 3.2K | |
| NegativeImpredicative.agda | 11-Jun-2010 20:03 | 1.2K | |
| Single.agda | 02-Aug-2010 20:29 | 4.7K | |
| html/ | 18-Feb-2011 22:22 | - | |