Index of /~catarina

      Name                    Last modified       Size  Description


[DIR] Parent Directory        21-Apr-2009 16:00      -  
[IMG] Coquand_Catarina.GIF    26-Oct-1994 11:01     2k  
[   ] Exercises.ps            19-Sep-1999 14:19    79k  
[DIR] Fundraising/            22-May-2002 04:58      -  
[DIR] IT+/                    10-Nov-2003 16:31      -  
[TXT] KommRes.txt             11-May-2000 14:42     2k  
[   ] OHIntroduktion.ppt      16-Aug-2001 21:02   354k  
[TXT] ProofEditors.html       19-Oct-1999 17:53     3k  
[   ] Slides.dvi              20-Sep-1999 16:54     8k  
[DIR] agda/                   13-Feb-2008 22:00      -  
[IMG] alf.gif                 19-Nov-2000 14:45    21k  
[   ] all.pdf                 05-Apr-2002 15:07   3.1M  
[IMG] catarina.gif            26-Oct-1994 10:54     4k  
[IMG] catarina1.gif           26-Oct-1994 10:40     6k  
[TXT] courseplan.html         26-Sep-1999 11:39     4k  
[CMP] graph.ps.Z              14-Oct-1998 08:30   184k  
[DIR] java1.5/                01-Oct-2003 18:10      -  
[DIR] logo/                   08-Aug-1997 13:00      -  
[CMP] nf.ps.Z                 22-Oct-1999 14:51   123k  
[CMP] realizability.ps.Z      14-Oct-1998 08:31    77k  
[DIR] turtle/                 08-Aug-1997 11:23      -  
[DIR] www.cse.chalmers.se/    01-Sep-2009 16:24      -