Index of /ddc/icebox/ddc-stable.old-darcs/proof/DDC/Language/DiscipleKernel

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]Ki.v2012-12-21 07:28 377  
[   ]WiExp.v2012-12-21 07:28 869  
[   ]TyExp.v2012-12-21 07:28 1.4K 
[   ]TyCon.v2012-12-21 07:28 1.6K 
[   ]TyWfT.v2012-12-21 07:28 2.5K 
[   ]KiJudge.v2012-12-21 07:28 2.8K 
[   ]VaExp.v2012-12-21 07:28 2.9K 
[   ]TyJudge.v2012-12-21 07:28 3.3K 
[   ]TySubst.v2012-12-21 07:28 3.6K 
[   ]TyLift.v2012-12-21 07:28 4.1K 

Apache/2.4.38 (Debian) Server at code.ouroborus.net Port 80