aboutsummaryrefslogtreecommitdiff
path: root/sections
ModeNameSize
-rw-r--r--conj_classes.tex12473logplain
-rw-r--r--fraisse_classes.tex24539logplain
-rw-r--r--introduction.tex2377logplain
-rw-r--r--preliminaries.tex18225logplain