![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[ ]](/icons/tex.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| pdf.pdf | 2009-02-21 10:29 | 291K | |
| body.tex | 2009-02-21 10:27 | 200K | |
| all.orig.ps.gz | 1998-12-23 12:30 | 126K | |
| all.ps.gz | 2000-01-19 19:05 | 121K | |
| all.dvi.gz | 2000-01-19 19:02 | 69K | |
| proofs.fail.tex | 1998-12-02 21:56 | 58K | |
| proofs.tex | 1999-10-05 11:53 | 56K | |
| strong.tex | 2000-01-19 19:01 | 45K | |
| strong.fail.tex | 1998-12-02 22:36 | 42K | |
| new.tex | 2000-01-19 18:59 | 40K | |
| references.tex | 2005-08-11 19:03 | 30K | |
| weak.tex | 1999-04-01 13:39 | 17K | |
| induction.tex | 1998-12-01 21:14 | 12K | |
| 1353 | 2009-02-21 15:30 | 9.4K | |
| specialheader.tex | 1999-10-05 11:19 | 7.7K | |
| headerreferences.tex | 1999-03-31 22:20 | 6.6K | |
| 1354 | 2009-02-21 15:28 | 4.7K | |
| headerframe.tex | 1998-12-01 19:24 | 2.4K | |
| titlepage.tex | 1999-10-05 11:22 | 1.4K | |
| all.toc | 2000-01-19 19:02 | 876 | |
| tableofcontents.tex | 1998-09-17 12:28 | 207 | |
| pdf.tex | 2009-02-21 10:10 | 153 | |
| all.tex | 2009-02-21 10:10 | 104 | |
| aleph.tex | 1998-12-01 18:39 | 99 | |
| new/ | 2009-02-20 22:14 | - | |