summaryrefslogtreecommitdiff
path: root/doc/RecTutorial
ModeNameSize
-rw-r--r--RecTutorial.tex116983logplain
-rw-r--r--RecTutorial.v25253logplain
-rw-r--r--coqartmacros.tex6358logplain
-rw-r--r--manbiblio.bib33160logplain
-rw-r--r--morebib.bib1537logplain
-rw-r--r--recmacros.tex1859logplain