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