![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[ ]](/icons/hand.right.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| sciseplog.pdf | 2012-02-04 11:53 | 267K | |
| reynolds.bib | 2012-02-04 11:53 | 389K | |
| ReynoldsJC.bib | 2012-02-04 11:53 | 78K | |
| tempdir/ | 2011-12-10 17:35 | - | |
| craftprog.pdf | 2011-10-18 08:38 | 34M | |
| readproofs.pdf | 2011-07-10 16:09 | 135K | |
| readproofshlsl.pdf | 2011-07-10 16:09 | 111K | |
| probprog.pdf | 2011-07-10 12:37 | 41K | |
| lovelace.pdf | 2011-07-10 12:37 | 147K | |
| autovarperm.pdf | 2011-07-10 12:37 | 131K | |
| README | 2009-04-29 14:39 | 3.1K | |
| seplogoverview.pdf | 2009-02-19 13:06 | 150K | |
| seplogoverview.ps.gz | 2009-02-19 13:05 | 121K | |
| plcurr.ps.gz | 2008-06-19 16:29 | 15K | |
| plcurr.pdf | 2008-06-19 16:29 | 58K | |
| shareddata.dvi.gz | 2007-12-13 21:12 | 27K | |
| grainlesswcrtalk.ps.gz | 2007-10-21 13:18 | 52K | |
| grainlesswcrtalk.pdf | 2007-10-21 13:17 | 72K | |
| pisaseplog.ps.gz | 2005-06-15 04:58 | 59K | |
| grainless.ps.gz | 2004-09-24 10:40 | 57K | |
| grainless.pdf | 2004-09-24 10:40 | 157K | |
| grainless.dvi.gz | 2004-09-24 10:40 | 20K | |
| parpolydom.ps.gz | 2004-06-11 17:37 | 73K | |
| parpolydom.dvi.gz | 2004-06-11 17:37 | 14K | |
| histcont.pdf | 2004-06-09 17:37 | 300K | |
| copygarbcoll.ps.gz | 2004-03-03 17:05 | 107K | |
| sephide.pdf | 2004-03-03 17:03 | 144K | |
| sephide.ps.gz | 2004-03-03 17:03 | 88K | |
| grainlesstalk.dvi.gz | 2004-01-20 16:46 | 13K | |
| grainlesstalk.ps.gz | 2004-01-20 16:45 | 65K | |
| seplogic.dvi.gz | 2002-05-13 10:22 | 101K | |
| seplogic.ps.gz | 2002-05-13 10:20 | 124K | |
| oldcraftprog.pdf | 2002-04-04 11:50 | 27M | |
| localreasoning.ps.gz | 2001-06-11 10:47 | 82K | |
| typesabpara.pdf | 2001-05-10 11:23 | 674K | |
| progtransdiag.pdf | 2001-05-10 11:22 | 477K | |
| autodataset.pdf | 2001-05-10 11:22 | 1.0M | |
| arrayreason.pdf | 2001-05-10 11:22 | 705K | |
| domflowdiag.pdf | 2001-05-09 17:01 | 1.1M | |
| compdataabstr.pdf | 2001-05-08 17:52 | 464K | |
| transysalg.pdf | 2001-05-08 17:52 | 800K | |
| theotypestr.pdf | 2001-05-08 17:52 | 572K | |
| cattheodesign.pdf | 2001-05-08 17:52 | 1.4M | |
| cogent.pdf | 2001-05-08 17:52 | 903K | |
| intdomain.pdf | 2001-05-08 17:52 | 531K | |
| gedanken.pdf | 2001-05-08 17:52 | 1.2M | |
| reldircont.pdf | 2001-05-08 17:52 | 551K | |
| shorttypemeaning.ps.gz | 2001-02-18 17:31 | 57K | |
| shorttypemeaning.dvi.gz | 2001-02-18 17:30 | 26K | |
| typemeaning.pdf | 2001-02-16 16:00 | 230K | |
| typemeaning.ps.gz | 2001-02-16 16:00 | 203K | |
| typemeaning.dvi.gz | 2001-02-16 15:59 | 49K | |
| spacetalk.ps.gz | 2001-01-24 10:53 | 55K | |
| spacetalk.dvi.gz | 2001-01-24 10:53 | 16K | |
| tandilslides.ps.gz | 2000-09-25 16:48 | 95K | |
| tandilslides.dvi.gz | 2000-09-25 16:47 | 43K | |
| intertype.ps.gz | 2000-07-28 18:06 | 44K | |
| intertype.dvi.gz | 2000-07-28 18:06 | 14K | |
| shareddata.ps.gz | 2000-07-28 18:05 | 55K | |
| algoltopolylin.ps.gz | 1999-09-09 17:02 | 210K | |
| normfuncat.ps.gz | 1999-03-15 16:00 | 23K | |
| normfuncat.dvi.gz | 1999-03-15 16:00 | 6.4K | |
| beyondml.dvi.gz | 1999-03-12 17:34 | 5.6K | |
| beyondml.ps.gz | 1999-03-12 17:34 | 17K | |
| defintintro.dvi.gz | 1999-03-10 17:51 | 15K | |
| defintintro.ps.gz | 1999-03-10 17:51 | 30K | |
| defint.ps.gz | 1999-03-10 17:50 | 82K | |
| defint.dvi.gz | 1999-03-10 17:50 | 54K | |
| syncontrol.ps.gz | 1999-03-03 16:02 | 48K | |
| speclogic.ps.gz | 1999-03-03 16:02 | 78K | |
| essence.ps.gz | 1999-03-03 16:02 | 67K | |
| syncontrol.dvi.gz | 1999-03-03 16:01 | 27K | |
| speclogic.dvi.gz | 1999-03-03 16:01 | 40K | |
| essence.dvi.gz | 1999-03-03 16:01 | 37K | |
| coherence.ps.gz | 1999-03-02 11:13 | 93K | |
| coherence.dvi.gz | 1999-03-02 11:13 | 42K | |
| forsytherep.ps.gz | 1997-03-04 22:13 | 141K | |
| forsytherep.dvi.gz | 1996-06-28 16:13 | 86K | |
| largeoptest.tex.gz | 1994-12-23 08:51 | 708 | |
| diagmactest.tex.gz | 1994-12-23 08:51 | 3.3K | |
| diagmac.tex.gz | 1994-12-23 08:51 | 11K | |
| diagmac.doc.gz | 1994-12-23 08:51 | 8.6K | |
| catmactest.tex.gz | 1994-12-23 08:51 | 2.9K | |
| catmac.tex.gz | 1994-12-23 08:51 | 12K | |
| intcode.ps.gz | 1994-12-23 08:15 | 70K | |
| intcode.dvi.gz | 1994-12-23 08:15 | 42K | |
| syncontrol2.ps.gz | 1994-12-23 07:48 | 66K | |
| syncontrol2.dvi.gz | 1994-12-23 07:45 | 30K | |
| polyintro.ps.gz | 1994-12-23 07:42 | 35K | |
| polyintro.dvi.gz | 1994-12-23 07:42 | 15K | |
| parpoly2.ps.gz | 1994-12-23 07:39 | 144K | |
| parpoly2.dvi.gz | 1994-12-23 07:37 | 70K | |
| normhard.ps.gz | 1994-12-23 07:32 | 26K | |
| normhard.dvi.gz | 1994-12-23 07:31 | 8.5K | |
| histcont.ps.gz | 1994-12-23 07:29 | 43K | |
| functexp.ps.gz | 1994-12-23 07:25 | 100K | |
| functexp.dvi.gz | 1994-12-23 07:24 | 45K | |
| forsytheintro.ps.gz | 1994-12-23 07:09 | 39K | |
| forsytheintro.dvi.gz | 1994-12-23 07:04 | 17K | |
| histcont.dvi.gz | 1994-12-23 06:29 | 20K | |