![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
![[ ]](/icons/tex.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| WHATCHANGED | 1998-05-08 18:40 | 567 | |
| all.abstract | 1998-05-08 18:40 | 2.0K | |
| all.aux | 2012-11-06 17:52 | 9.8K | |
| all.dvi.gz | 2005-10-17 15:35 | 138K | |
| all.log | 2012-11-06 17:52 | 503K | |
| all.ps.gz | 1998-05-08 18:40 | 214K | |
| all.tex | 1998-05-08 18:40 | 13 | |
| all.toc | 2012-11-06 17:52 | 1.4K | |
| basic.tex | 2005-10-17 15:33 | 14K | |
| body.tex | 2009-02-20 19:28 | 337K | |
| conclusion.tex | 2005-10-17 15:31 | 7.0K | |
| fiveextro.tex | 1998-05-08 18:40 | 18K | |
| fourfivesix.tex | 2005-10-17 15:31 | 45K | |
| headerreferences.tex | 1998-05-08 18:40 | 887 | |
| induction.tex | 1998-05-08 18:40 | 29K | |
| introduction.tex | 2005-10-17 15:32 | 11K | |
| morebasic.tex | 2005-10-17 15:32 | 25K | |
| motivation.tex | 1998-05-08 18:40 | 32K | |
| newsix.tex | 1998-05-08 18:40 | 17K | |
| proofappendix.tex | 2005-10-17 15:30 | 64K | |
| references.tex | 1998-05-08 18:40 | 9.3K | |
| secondproofappendix.tex | 2005-10-17 15:30 | 44K | |
| tableofcontents.tex | 1998-05-08 18:40 | 188 | |
| titlepage.tex | 1998-05-08 18:40 | 3.0K | |
| unificationappendix.tex | 1998-05-08 18:40 | 3.7K | |
| unificationproofappe..> | 1998-05-08 18:40 | 11K | |