Index of /darcs/OPE

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 DependentOPE.agda       03-Jul-2008 16:18  6.8K  
 Makefile                10-Apr-2008 20:45  280   
 OPE.bib                 14-Apr-2008 14:19   67K  
 OPE.fmt                 10-Apr-2008 20:45  1.5K  
 OPE.lhs                 14-Apr-2008 15:39   24K  
 OPEAbstract             08-Apr-2008 13:04  867   
 Utils.agda              10-Apr-2008 20:45  1.8K  
 _darcs/                 03-Jul-2008 16:18    -   
 entcs.bst               08-Apr-2008 12:33   26K  
 entcs.cls               08-Apr-2008 12:33   47K  
 preentcsmacro.sty       08-Apr-2008 12:33  5.3K