![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[ ]](/icons/tex.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| 2013_03_04_TTS.pdf | 2018-03-20 23:35 | 164K | PDF document file |
| 2013_03_04_TTS.tex | 2013-03-04 14:24 | 24K | TeX source file |
| 2013_03_05_TTS.pdf | 2018-03-20 23:35 | 171K | PDF document file |
| 2013_03_05_TTS.tex | 2013-03-05 16:25 | 24K | TeX source file |
| Description of LF in..> | 2012-11-28 06:29 | 9.0K | |
| Description of LF in..> | 2018-03-20 23:48 | 110K | PDF document file |
| Examples1.pdf | 2018-03-20 23:39 | 15K | PDF document file |
| Examples1.tex | 2012-11-29 07:55 | 4.5K | TeX source file |
| HTS.pdf | 2018-03-20 23:40 | 48K | PDF document file |
| HTS.tex | 2013-02-26 09:57 | 16K | TeX source file |
| Lemma61012.pdf | 2018-03-20 23:40 | 48K | PDF document file |
| Lemma61012.tex | 2013-12-22 09:51 | 14K | TeX source file |
| TTS.pdf | 2013-03-14 10:30 | 62K | PDF document file |
| Universe polymorphic..> | 2018-03-20 23:41 | 253K | PDF document file |
| Universe polymorphic..> | 2013-02-24 14:49 | 205K | TeX source file |
| alggeom.bib | 2013-12-26 10:14 | 85K | TeX bibliography items -- bibtex input |
| cones.pdf | 2018-03-20 23:39 | 34K | PDF document file |
| cones.tex | 2013-03-23 15:27 | 11K | TeX source file |
| expressions_current-..> | 2018-03-24 07:47 | 457K | PDF document file |
| expressions_current-..> | 2018-03-24 07:47 | 183K | TeX source file |
| expressions_current.pdf | 2018-03-24 07:46 | 184K | PDF document file |
| expressions_current.tex | 2014-02-10 10:57 | 183K | TeX source file |
| to_Grayson1.pdf | 2018-03-20 23:40 | 27K | PDF document file |
| to_Grayson1.tex | 2013-10-15 17:29 | 9.2K | TeX source file |
| univlib_v1.pdf | 2018-03-20 23:41 | 19K | PDF document file |
| univlib_v1.tex | 2013-05-10 12:34 | 6.8K | TeX source file |