| -rw-r--r-- | .gitignore | 4L |
| -rw-r--r-- | README.md | 12L |
| -rw-r--r-- | exercises/preplogic-exercises.aux | 5L |
| -rw-r--r-- | exercises/preplogic-exercises.fdb_latexmk | 70L |
| -rw-r--r-- | exercises/preplogic-exercises.fls | 97L |
| -rw-r--r-- | exercises/preplogic-exercises.log | 240L |
| -rw-r--r-- | exercises/preplogic-exercises.pdf | 141765B |
| -rw-r--r-- | exercises/preplogic-exercises.tex | 159L |
| -rw-r--r-- | preplogic-exercises.pdf | 141765B |
| -rw-r--r-- | preplogic-notes.pdf | 339620B |
| -rw-r--r-- | preplogic-slides.pdf | 367456B |
| -rw-r--r-- | preplogic-solutions.pdf | 167760B |
| -rw-r--r-- | slides/preplogic-slides.aux | 101L |
| -rw-r--r-- | slides/preplogic-slides.fdb_latexmk | 217L |
| -rw-r--r-- | slides/preplogic-slides.fls | 504L |
| -rw-r--r-- | slides/preplogic-slides.log | 1446L |
| -rw-r--r-- | slides/preplogic-slides.nav | 78L |
| -rw-r--r-- | slides/preplogic-slides.out | 5L |
| -rw-r--r-- | slides/preplogic-slides.pdf | 367456B |
| -rw-r--r-- | slides/preplogic-slides.snm | 0B |
| -rw-r--r-- | slides/preplogic-slides.tex | 547L |
| -rw-r--r-- | slides/preplogic-slides.toc | 5L |
| -rw-r--r-- | slides/unilu.jpg | 41957B |
| -rw-r--r-- | solutions/preplogic-solutions.aux | 5L |
| -rw-r--r-- | solutions/preplogic-solutions.fdb_latexmk | 79L |
| -rw-r--r-- | solutions/preplogic-solutions.fls | 111L |
| -rw-r--r-- | solutions/preplogic-solutions.log | 242L |
| -rw-r--r-- | solutions/preplogic-solutions.pdf | 167760B |
| -rw-r--r-- | solutions/preplogic-solutions.tex | 306L |
