aboutsummaryrefslogtreecommitdiff
path: root/sections
ModeNameSize
-rw-r--r--conj_classes.tex12817logplain
-rw-r--r--fraisse_classes.tex24656logplain
-rw-r--r--introduction-pl.tex2550logplain
-rw-r--r--introduction.tex2377logplain
-rw-r--r--preliminaries.tex18853logplain