Index of /home/pgh

[ICO]NameLast modifiedSizeDescription
[TXT]2.html2001-06-28 13:59 12K 
[ ]2html.gs1997-10-31 17:18 6.6K 
[ ]2tex.gs1997-10-31 17:18 7.5K 
[TXT]Arithmetic_expressions.hs2003-08-31 12:58 2.7K 
[ ]Boole.dvi1997-11-09 22:47 8.1K 
[ ]Boole.half1997-10-13 12:20 7.5K 
[TXT]Boole.html1997-11-09 22:47 8.1K 
[TXT]Conway.lhs2000-07-28 22:29 3.8K 
[ ]CuttingEdge.pdf1999-11-17 20:58 44K 
[ ]Expr.dvi1998-01-09 13:26 10K 
[ ]Expr.half1998-01-09 13:26 8.3K 
[TXT]Expr.html1998-01-09 13:25 8.8K 
[ ]Games.dvi1998-06-15 16:55 13K 
[TXT]Games.html2001-07-26 09:50 12K 
[ ]Heyting.dvi1997-11-09 22:49 15K 
[ ]Heyting.half1997-10-13 12:21 14K 
[TXT]Heyting.html1997-11-09 22:48 15K 
[ ]ID.dvi1999-03-11 14:31 17K 
[ ]ID.half1999-03-11 14:31 15K 
[TXT]ID.html1999-03-11 14:31 16K 
[TXT]IO.html1999-11-01 10:37 0  
[TXT]IOG.txt1998-07-19 10:24 14K 
[TXT]Interface2.html1999-02-03 21:54 14K 
[ ]Lambda_calculus.dvi2000-04-05 22:28 19K 
[ ]Lambda_calculus.gs1998-10-14 13:27 3.9K 
[TXT]Lambda_calculus.lhs2000-04-05 22:28 16K 
[ ]RTIsm.pdf2002-06-04 14:38 189K 
[ ]RTIsm.ps2002-06-04 14:38 277K 
[TXT]RTIsm.tex2002-06-04 14:38 51K 
[TXT]abbrev.sty2000-08-18 11:49 19K 
[TXT]add.html2001-11-11 15:52 3.7K 
[TXT]agda.html2003-03-09 21:01 5.0K 
[ ]amen-talk.ps2001-02-22 20:23 77K 
[ ]amen.dvi1999-04-27 10:15 26K 
[TXT]amen.html1999-01-23 18:18 4.3K 
[ ]amen.ps1999-09-06 13:03 197K 
[ ]amenities.agda2000-07-14 20:58 3.0K 
[ ]anton1.ps2000-10-01 10:26 154K 
[TXT]anton1.tex2000-10-01 10:26 26K 
[TXT]applied.html2003-02-10 15:00 8.0K 
[ ]arithmetic.dvi2004-02-04 12:32 28K 
[TXT]arithmetic.lhs2004-02-04 12:32 23K 
[ ]arithmetic.ps2004-02-04 12:32 124K 
[TXT]behaviour.html1997-08-28 16:13 7.8K 
[TXT]bonmots.txt2003-08-06 09:17 6.2K 
[ ]chap-apologia.ps.gz1999-01-23 23:11 50K 
[TXT]chat.html2003-12-02 04:12 14K 
[ ]choses.half2003-11-13 16:17 3.4K 
[ ]coalg.agda2000-08-29 15:12 17K 
[ ]code.tgz2000-07-02 15:04 17K 
[TXT]coit.html2000-04-07 10:14 17K 
[ ]contents.dvi1998-02-08 12:19 13K 
[TXT]contents.tex1998-02-08 12:21 4.4K 
[ ]conway.agda2000-07-28 22:29 8.9K 
[TXT]conway.html2003-03-29 15:05 11K 
[TXT]conway.lhs2001-09-15 14:55 5.0K 
[ ]cv-nonac.pdf2003-11-13 16:17 7.2K 
[ ]cv-nonac.ps2003-11-13 16:17 17K 
[ ]cv.dvi2003-08-07 07:45 10K 
[ ]cv.pdf2003-08-07 07:44 14K 
[ ]cv.ps2003-08-07 07:44 27K 
[ ]cwrite.dvi1999-11-28 01:36 53K 
[TXT]datastream.html2003-11-13 16:17 4.5K 
[TXT]datastream.lhs2003-11-13 16:17 4.1K 
[TXT]discrete.html2003-01-26 13:12 4.4K 
[ ]dtp00.dvi2000-06-12 06:14 50K 
[ ]dtp00.ps2000-06-12 06:13 150K 
[TXT]dummet.html2003-06-19 08:35 12K 
[TXT]dybjer.html2002-03-28 11:24 32K 
[IMG]email.gif2002-02-07 13:02 3.0K 
[ ]epsilon0.agda2001-03-16 17:10 3.1K 
[TXT]family.html2000-02-19 18:35 15K 
[TXT]foo.txt1998-10-08 16:20 2.0K 
[TXT]games.html1998-06-15 16:55 9.7K 
[ ]gamma.dvi2000-10-06 19:28 660K 
[ ]gamma.dvi.gz2000-10-06 19:34 244K 
[ ]gamma.ps2000-10-06 19:32 1.6M 
[ ]gamma.ps.gz2000-10-06 19:38 658K 
[ ]giovanni.pdf2003-05-05 10:07 231K 
[ ]giovanni.ps2003-05-05 10:08 389K 
[TXT]giovanni.tex2003-05-05 10:08 126K 
[TXT]grammar.html2000-08-24 13:20 6.8K 
[TXT]half.html2000-04-29 17:49 5.2K 
[ ]halfp.gs1999-02-03 11:25 24K 
[TXT]halfpp.hs1999-03-13 15:13 23K 
[ ]halfpp.tar.gz1999-03-11 12:54 16K 
[TXT]holy-trinity.html2001-06-29 07:45 4.2K 
[TXT]homework.lhs2000-02-19 13:13 6.2K 
[TXT]index.html.KEEP2001-04-06 17:24 2.2K 
[TXT]interact.lhs1998-09-02 01:47 7.4K 
[TXT]interactive_systems.html2001-07-30 18:38 19K 
[ ]interfaces.pdf2002-10-18 13:27 72K 
[ ]interfaces.ps2002-10-18 13:28 59K 
[TXT]interfaces.tex2002-10-18 13:28 13K 
[TXT]io.html2001-06-11 16:56 39K 
[ ]ioconf.dvi2000-05-16 15:04 68K 
[ ]ioconf.ps2000-05-16 15:05 208K 
[ ]iorep.dvi2000-05-16 15:03 65K 
[ ]iorep.ps2000-05-16 15:04 196K 
[ ]iotrees.dvi2000-02-16 09:51 65K 
[ ]iotrees.ps2000-02-10 11:31 196K 
[IMG]joe.jpeg2003-05-06 14:04 10K 
[IMG]joe.pnm2003-04-27 18:38 169K 
[IMG]judy.jpg2000-07-23 10:34 64K 
[ ]lenses_paper.ps2000-06-15 09:33 88K 
[ ]lenses_talk.ps2000-05-09 18:54 177K 
[ ]lenses_talk2.ps2000-12-08 16:35 174K 
[TXT]machines.html1998-03-10 23:43 4.1K 
[ ]mahlo.agda2003-11-13 16:17 1.4K 
[ ]mod.pdf2003-05-09 07:49 84K 
[ ]mod.ps2003-05-09 07:49 147K 
[TXT]moreverb.sty2000-10-01 10:33 5.5K 
[ ]mother.dvi.gz1999-05-10 12:26 25K 
[ ]mu.dvi1999-04-20 09:13 12K 
[ ]mu.half1999-04-20 09:14 8.9K 
[TXT]mu.html1999-04-20 09:13 13K 
[ ]my_mahlo.half2000-02-23 00:18 3.5K 
[ ]naturals.agda2000-07-14 20:58 839  
[ ]nextU.agda2000-07-14 20:58 1.5K 
[TXT]number-classes.html2002-06-19 16:36 5.4K 
[TXT]obsessed.html2002-04-11 12:28 2.2K 
[TXT]old_index.html2004-02-04 12:32 2.8K 
[ ]on.dvi1997-11-09 22:49 5.5K 
[ ]on.half1997-10-13 12:21 4.3K 
[TXT]ord-nots.lhs2002-06-05 12:19 5.1K 
[ ]ordasfam.dvi2000-04-29 17:39 15K 
[ ]ordasfam.ps2000-04-29 17:39 77K 
[TXT]ordasfam.tex2000-04-29 17:38 16K 
[TXT]ordinal-notations.html2002-06-05 12:19 19K 
[ ]ordinals.agda2000-07-14 20:58 2.8K 
[TXT]ordinals.html2003-04-21 16:36 6.2K 
[ ]ordinals.ps2001-05-19 14:35 176K 
[ ]ordinals_talk.ps1999-05-09 20:12 0  
[ ]ordlens.agda2000-07-14 20:57 20K 
[TXT]people.html2004-02-04 12:32 41K 
[IMG]pgh.jpg1997-01-17 16:03 26K 
[ ]pgh.pgp2001-08-15 09:02 33K 
[ ]pi3ref7.agda2003-11-13 16:17 7.7K 
[ ]pierre.pdf2003-05-06 11:04 319K 
[ ]pierre.ps2003-05-06 11:04 561K 
[ ]portugal.dvi.gz2000-07-05 10:19 45K 
[ ]portugal.ps.gz2000-07-05 10:20 41K 
[ ]pos.dvi1999-11-10 10:40 18K 
[ ]posbar.dvi1999-06-01 15:20 21K 
[ ]posbar.ps1999-06-01 15:20 153K 
[TXT]proof.sty2000-08-18 11:48 9.2K 
[TXT]proof.txt1998-08-14 08:41 3.3K 
[TXT]pt-ordinals.html1999-07-24 13:59 10K 
[TXT]pt-ordinals2.txt1999-07-24 13:58 3.9K 
[ ]pt.pdf2003-11-18 20:00 141K 
[ ]pt.ps2003-11-18 20:00 244K 
[TXT]pt.tex2003-11-18 20:00 40K 
[ ]ptcs2001a.pdf2001-10-19 12:31 704K 
[TXT]section_notation.html1999-02-22 13:57 2.8K 
[TXT]short-amen.lhs2001-06-29 10:15 3.6K 
[TXT]skolem.html2000-07-26 14:03 2.9K 
[ ]sm.dvi2000-11-28 10:41 13K 
[ ]sm.ps2003-11-13 16:17 212K 
[ ]sm.tar.gz1998-04-08 13:19 355K 
[ ]spec.dvi2000-06-12 06:12 50K 
[ ]spec.ps2000-06-12 06:12 150K 
[ ]standard.dvi1998-03-06 13:19 3.6K 
[ ]standard.half1998-03-06 13:19 2.3K 
[TXT]standard.html1998-03-06 13:19 2.7K 
[ ]summary.pdf2004-01-12 11:13 339K 
[ ]summary.ps2004-01-12 11:13 591K 
[TXT]summary.tex2004-01-12 11:13 131K 
[ ]talkrc.dvi2002-05-13 11:23 20K 
[ ]talkrc.pdf2003-05-05 10:09 89K 
[ ]talkrc.ps2002-05-13 11:24 184K 
[TXT]thesis.html1999-11-10 13:07 3.0K 
[ ]thesis3.tgz2000-10-06 19:40 415K 
[TXT]transaction_processing.html2002-12-27 18:44 7.4K 
[TXT]transition_systems.html2000-09-17 16:29 22K 
[ ]ts.dvi1997-11-09 22:49 40K 
[ ]ts.half1997-11-09 22:48 37K 
[TXT]ts.html2000-07-26 11:27 38K 
[ ]tt.dvi2002-03-27 18:18 7.5K 
[TXT]tt.lhs2002-03-27 18:18 6.3K 
[TXT]types.html2002-12-29 16:32 15K 
[ ]veblenU.dvi1999-03-26 20:38 48K 
[ ]veblenU.half1999-03-26 20:39 39K 
[TXT]veblenU.html1999-03-26 20:39 46K 
[ ]world.dvi1997-11-09 22:47 12K 
[ ]world.half1997-10-13 12:20 12K 
[ ]wwwwww.half1999-07-31 14:50 1.4K 
[TXT]wwwwww.html1999-09-20 09:09 14K 
[TXT]wwwwww.lhs1998-12-25 14:40 1.9K 
[TXT]xy.sty2000-10-01 10:34 3.6K 
Apache/2.4 Server at www.dcs.ed.ac.uk Port 443