| Name | Last Modified | Size | Type |
|---|---|---|---|
| ../ | - | Directory | |
| tempdir/ | 2025-Jan-18 16:27:01 | - | Directory |
| README | 2009-Apr-29 20:39:37 | 3.0K | text/plain;charset=utf-8 |
| ReynoldsJC.bib | 2012-Feb-04 17:53:12 | 77.6K | text/x-bibtex;charset=utf-8 |
| algoltopolylin.ps.gz | 1999-Sep-09 23:02:30 | 210.4K | application/gzip |
| arrayreason.pdf | 2001-May-10 17:22:45 | 704.5K | application/pdf |
| autodataset.pdf | 2001-May-10 17:22:51 | 0.9M | application/pdf |
| autovarperm.pdf | 2011-Jul-10 18:37:07 | 130.6K | application/pdf |
| beyondml.dvi.gz | 1999-Mar-12 23:34:45 | 5.5K | application/gzip |
| beyondml.ps.gz | 1999-Mar-12 23:34:38 | 17.2K | application/gzip |
| catmac.tex.gz | 1994-Dec-23 14:51:29 | 11.7K | application/gzip |
| catmactest.tex.gz | 1994-Dec-23 14:51:30 | 2.9K | application/gzip |
| cattheodesign.pdf | 2001-May-08 23:52:31 | 1.4M | application/pdf |
| cogent.pdf | 2001-May-08 23:52:29 | 902.5K | application/pdf |
| coherence.dvi.gz | 1999-Mar-02 17:13:24 | 41.5K | application/gzip |
| coherence.ps.gz | 1999-Mar-02 17:13:24 | 92.7K | application/gzip |
| compdataabstr.pdf | 2001-May-08 23:52:38 | 463.9K | application/pdf |
| copygarbcoll.ps.gz | 2004-Mar-03 23:05:41 | 106.5K | application/gzip |
| craftprog.pdf | 2011-Oct-18 14:38:01 | 33.8M | application/pdf |
| defint.dvi.gz | 1999-Mar-10 23:50:42 | 54.4K | application/gzip |
| defint.ps.gz | 1999-Mar-10 23:50:53 | 82.2K | application/gzip |
| defintintro.dvi.gz | 1999-Mar-10 23:51:25 | 15.2K | application/gzip |
| defintintro.ps.gz | 1999-Mar-10 23:51:12 | 29.5K | application/gzip |
| diagmac.doc.gz | 1994-Dec-23 14:51:30 | 8.6K | application/gzip |
| diagmac.tex.gz | 1994-Dec-23 14:51:30 | 10.6K | application/gzip |
| diagmactest.tex.gz | 1994-Dec-23 14:51:31 | 3.3K | application/gzip |
| domflowdiag.pdf | 2001-May-09 23:01:01 | 1.0M | application/pdf |
| essence.dvi.gz | 1999-Mar-03 22:01:58 | 36.6K | application/gzip |
| essence.ps.gz | 1999-Mar-03 22:02:09 | 67.1K | application/gzip |
| forsytheintro.dvi.gz | 1994-Dec-23 13:04:18 | 16.8K | application/gzip |
| forsytheintro.ps.gz | 1994-Dec-23 13:09:03 | 38.5K | application/gzip |
| forsytherep.dvi.gz | 1996-Jun-28 22:13:15 | 86.3K | application/gzip |
| forsytherep.ps.gz | 1997-Mar-05 04:13:11 | 141.3K | application/gzip |
| functexp.dvi.gz | 1994-Dec-23 13:24:11 | 44.9K | application/gzip |
| functexp.ps.gz | 1994-Dec-23 13:25:17 | 100.4K | application/gzip |
| gedanken.pdf | 2001-May-08 23:52:26 | 1.2M | application/pdf |
| grainless.dvi.gz | 2004-Sep-24 16:40:04 | 20.0K | application/gzip |
| grainless.pdf | 2004-Sep-24 16:40:06 | 157.0K | application/pdf |
| grainless.ps.gz | 2004-Sep-24 16:40:08 | 57.4K | application/gzip |
| grainlesstalk.dvi.gz | 2004-Jan-20 22:46:06 | 12.6K | application/gzip |
| grainlesstalk.ps.gz | 2004-Jan-20 22:45:57 | 64.5K | application/gzip |
| grainlesswcrtalk.pdf | 2007-Oct-21 19:17:59 | 72.4K | application/pdf |
| grainlesswcrtalk.ps.gz | 2007-Oct-21 19:18:03 | 51.8K | application/gzip |
| histcont.dvi.gz | 1994-Dec-23 12:29:12 | 20.5K | application/gzip |
| histcont.pdf | 2004-Jun-09 23:37:00 | 299.6K | application/pdf |
| histcont.ps.gz | 1994-Dec-23 13:29:47 | 43.4K | application/gzip |
| intcode.dvi.gz | 1994-Dec-23 14:15:06 | 42.4K | application/gzip |
| intcode.ps.gz | 1994-Dec-23 14:15:26 | 69.7K | application/gzip |
| intdomain.pdf | 2001-May-08 23:52:28 | 530.7K | application/pdf |
| intertype.dvi.gz | 2000-Jul-29 00:06:21 | 14.2K | application/gzip |
| intertype.ps.gz | 2000-Jul-29 00:06:33 | 44.5K | application/gzip |
| largeoptest.tex.gz | 1994-Dec-23 14:51:31 | 0.7K | application/gzip |
| localreasoning.ps.gz | 2001-Jun-11 16:47:25 | 81.7K | application/gzip |
| lovelace.pdf | 2011-Jul-10 18:37:07 | 147.0K | application/pdf |
| normfuncat.dvi.gz | 1999-Mar-15 22:00:11 | 6.3K | application/gzip |
| normfuncat.ps.gz | 1999-Mar-15 22:00:20 | 22.8K | application/gzip |
| normhard.dvi.gz | 1994-Dec-23 13:31:46 | 8.4K | application/gzip |
| normhard.ps.gz | 1994-Dec-23 13:32:15 | 25.9K | application/gzip |
| oldcraftprog.pdf | 2002-Apr-04 18:50:54 | 27.4M | application/pdf |
| parpoly2.dvi.gz | 1994-Dec-23 13:37:33 | 70.3K | application/gzip |
| parpoly2.ps.gz | 1994-Dec-23 13:39:09 | 144.4K | application/gzip |
| parpolydom.dvi.gz | 2004-Jun-11 23:37:18 | 13.8K | application/gzip |
| parpolydom.ps.gz | 2004-Jun-11 23:37:28 | 73.4K | application/gzip |
| pisaseplog.ps.gz | 2005-Jun-15 10:58:33 | 59.2K | application/gzip |
| plcurr.pdf | 2008-Jun-19 22:29:11 | 58.1K | application/pdf |
| plcurr.ps.gz | 2008-Jun-19 22:29:11 | 14.7K | application/gzip |
| polyintro.dvi.gz | 1994-Dec-23 13:42:16 | 14.8K | application/gzip |
| polyintro.ps.gz | 1994-Dec-23 13:42:55 | 35.4K | application/gzip |
| probprog.pdf | 2011-Jul-10 18:37:07 | 41.1K | application/pdf |
| progtransdiag.pdf | 2001-May-10 17:22:56 | 476.9K | application/pdf |
| readproofs.pdf | 2011-Jul-10 22:09:28 | 134.6K | application/pdf |
| readproofshlsl.pdf | 2011-Jul-10 22:09:27 | 110.8K | application/pdf |
| reldircont.pdf | 2001-May-08 23:52:24 | 550.7K | application/pdf |
| reynolds.bib | 2012-Feb-04 17:53:14 | 388.9K | text/x-bibtex;charset=utf-8 |
| sciseplog.pdf | 2012-Feb-04 17:53:14 | 266.7K | application/pdf |
| sephide.pdf | 2004-Mar-03 23:03:22 | 143.7K | application/pdf |
| sephide.ps.gz | 2004-Mar-03 23:03:11 | 87.5K | application/gzip |
| seplogic.dvi.gz | 2002-May-13 16:22:29 | 100.5K | application/gzip |
| seplogic.ps.gz | 2002-May-13 16:20:48 | 124.3K | application/gzip |
| seplogoverview.pdf | 2009-Feb-19 19:06:07 | 150.1K | application/pdf |
| seplogoverview.ps.gz | 2009-Feb-19 19:05:48 | 121.5K | application/gzip |
| shareddata.dvi.gz | 2007-Dec-14 03:12:12 | 26.7K | application/gzip |
| shareddata.ps.gz | 2000-Jul-29 00:05:44 | 55.1K | application/gzip |
| shorttypemeaning.dvi.gz | 2001-Feb-18 23:30:56 | 26.1K | application/gzip |
| shorttypemeaning.ps.gz | 2001-Feb-18 23:31:10 | 57.1K | application/gzip |
| spacetalk.dvi.gz | 2001-Jan-24 16:53:46 | 15.6K | application/gzip |
| spacetalk.ps.gz | 2001-Jan-24 16:53:53 | 54.9K | application/gzip |
| speclogic.dvi.gz | 1999-Mar-03 22:01:58 | 40.3K | application/gzip |
| speclogic.ps.gz | 1999-Mar-03 22:02:09 | 78.2K | application/gzip |
| syncontrol.dvi.gz | 1999-Mar-03 22:01:58 | 26.9K | application/gzip |
| syncontrol.ps.gz | 1999-Mar-03 22:02:10 | 47.6K | application/gzip |
| syncontrol2.dvi.gz | 1994-Dec-23 13:45:58 | 29.8K | application/gzip |
| syncontrol2.ps.gz | 1994-Dec-23 13:48:10 | 65.5K | application/gzip |
| tandilslides.dvi.gz | 2000-Sep-25 22:47:58 | 42.8K | application/gzip |
| tandilslides.ps.gz | 2000-Sep-25 22:48:15 | 94.8K | application/gzip |
| theotypestr.pdf | 2001-May-08 23:52:33 | 572.3K | application/pdf |
| transysalg.pdf | 2001-May-08 23:52:35 | 800.3K | application/pdf |
| typemeaning.dvi.gz | 2001-Feb-16 21:59:37 | 49.5K | application/gzip |
| typemeaning.pdf | 2001-Feb-16 22:00:45 | 229.5K | application/pdf |
| typemeaning.ps.gz | 2001-Feb-16 22:00:27 | 202.6K | application/gzip |
| typesabpara.pdf | 2001-May-10 17:23:02 | 674.2K | application/pdf |