![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| FAN/ | 2008-04-03 11:20 | - | |
| boolean.scm | 2005-11-24 20:59 | 15K | |
| e0.zip | 2005-01-30 16:28 | 23K | |
| hao.scm | 2006-12-12 17:24 | 6.0K | |
| hao_cnf.scm | 2005-09-22 12:52 | 17K | |
| hao_relations.scm | 2005-11-22 17:01 | 43K | |
| hao_suc.scm | 2005-11-24 21:34 | 19K | |
| hao_term.scm | 2005-11-22 17:01 | 16K | |
| nat.scm | 2008-01-26 11:20 | 20K | |
| natnum.scm | 2006-12-12 17:24 | 12K | |
| ordinals.scm | 2000-03-01 18:09 | 6.4K | |
| pao.zip | 2005-09-27 11:24 | 34K | |
| reflection.scm | 2008-01-26 11:20 | 102K | |
| reflection_alpha.scm | 2008-01-26 11:20 | 127K | |
| reflection_nat.scm | 2008-01-26 11:20 | 39K | |
| reflection_numbers.scm | 2008-01-26 11:20 | 6.3K | |
| reflection_numbers_thms.scm | 2008-01-26 11:20 | 5.8K | |
| reflection_rationals.scm | 2008-01-26 11:20 | 64K | |
| reflection_thms.scm | 2008-01-26 11:20 | 4.2K | |
| ring.scm | 2008-01-26 11:20 | 3.3K | |