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