summaryrefslogtreecommitdiff
path: root/Assignment1
ModeNameSize
-rw-r--r--assignment1.tex4351logplainblame
-rw-r--r--bad-prefix.tex5918logplainblame
-rw-r--r--bibliographic-notes.tex264logplainblame
-rw-r--r--conversion.tex21769logplainblame
-rw-r--r--equivalence.tex837logplainblame
-rw-r--r--exercises.tex8624logplainblame
-rw-r--r--intro.tex1812logplainblame
-rwxr-xr-xlibrary.bib5105logplainblame
-rw-r--r--semantics.tex4628logplainblame
-rw-r--r--specifying-properties.tex752logplainblame
-rw-r--r--summary.tex650logplainblame
-rw-r--r--syntax.tex9199logplainblame