![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/a.gif){kind=icon}
![[ ]](/icons/dvi.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Icons/ | 09-Sep-2000 23:22 | - | |
| archive-6044-forum | 01-Dec-1998 02:59 | 21K | |
| compII.ps | 01-Dec-1998 03:15 | 114K | |
| computability.aux | 01-Dec-1998 02:51 | 1.6K | |
| computability.dvi | 01-Dec-1998 02:51 | 28K | |
| computability.log | 01-Dec-1998 02:51 | 6.6K | |
| computability.ps | 01-Dec-1998 02:51 | 118K | |
| computability.tex | 01-Dec-1998 02:51 | 23K | |
| distributivity-problem.txt | 15-Sep-1998 11:17 | 2.6K | |
| flattening-axioms.html | 18-Oct-1998 22:55 | 5.0K | |
| homepage.html | 14-Apr-2002 02:12 | 5.0K | |
| inputs/ | 06-Sep-2000 11:51 | - | |
| notes-on-flattening.html | 30-Oct-1998 10:24 | 4.3K | |
| other-refs.html | 29-Oct-1998 14:01 | 2.1K | |
| poly-axioms.txt | 16-Sep-1998 10:17 | 2.8K | |
| proof-check.scm | 21-Oct-1998 14:18 | 5.1K | |
| ps4.ps | 19-Oct-1998 16:14 | 50K | |
| ps4.tex | 19-Oct-1998 16:11 | 5.5K | |
| ps5.ps | 30-Oct-1998 10:25 | 34K | |
| ps5.tex | 30-Oct-1998 10:24 | 1.5K | |
| ps6.ps | 04-Nov-1998 16:30 | 56K | |
| ps6.tex | 04-Nov-1998 16:27 | 4.5K | |
| scheme-syntax.ps | 05-Nov-1998 13:37 | 71K | |
| scheme-syntax.tex | 05-Nov-1998 13:37 | 7.7K | |
| schemes.html | 28-Oct-1998 11:02 | 3.7K | |
| sep25.html | 18-Oct-1998 22:56 | 9.3K | |
| submodel/ | 26-Feb-2003 13:54 | - | |
| wttree.scm | 12-Oct-1998 01:42 | 27K | |
| wttree.txt | 12-Oct-1998 01:42 | 21K | |