![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | bib.tex | 30-Jul-1998 15:12 | 4.6K | |
![]() | concl.tex | 30-Jul-1998 15:12 | 2.9K | |
![]() | dra.dvi | 30-Jul-1998 15:13 | 61K | |
![]() | dra.ps.gz | 15-Jul-2002 15:34 | 150K | |
![]() | dra.tex | 30-Jul-1998 15:12 | 5.5K | |
![]() | exptrees.sty | 30-Jul-1998 15:12 | 78K | |
![]() | intro.tex | 30-Jul-1998 15:12 | 2.7K | |
![]() | opf.tex | 30-Jul-1998 15:12 | 1.6K | |
![]() | other.tex | 30-Jul-1998 15:12 | 7.7K | |
![]() | ra.tex | 30-Jul-1998 15:12 | 17K | |
![]() | raisa.tex | 30-Jul-1998 15:12 | 29K | |
![]() | thms.tex | 30-Jul-1998 15:12 | 7.0K | |