]> mj.ucw.cz Git - saga.git/tree
Names of theorems are typeset on a separate line.
-rw-r--r-- 385 Makefile
-rw-r--r-- 1816 PLAN
-rw-r--r-- 25039 adv.tex
-rw-r--r-- 22764 biblio.bib
-rw-r--r-- 96 cover.tex
-rw-r--r-- 11190 macros.tex
-rw-r--r-- 32278 mst.tex
-rw-r--r-- 6949 notation.tex
drwxr-xr-x - pic
-rw-r--r-- 32198 ram.tex
-rw-r--r-- 15165 rank.tex
-rw-r--r-- 177 saga.tex