Make pret-trans call pret-lam indirectly.
[matthijs/master-project/report.git] / Chapters /
drwxr-xr-x   ..
-rw-r--r-- 4289 Context.tex
-rw-r--r-- 16378 Future.tex
-rw-r--r-- 31425 HardwareDescription.tex
-rw-r--r-- 7816 Introduction.tex
-rw-r--r-- 70649 Normalization.tex
-rw-r--r-- 34001 Prototype.tex