regnat 914328e8ca Remove \x/ syntax for meta-variables ... Those are typeset in math mode anyway, so they can as well be written $x$		2017-05-11 18:21:19 +02:00
..
lambdaCalculus.tex	typing: put typing rules in figures	2017-04-25 09:45:54 +02:00
records.tex	Remove \x/ syntax for meta-variables	2017-05-11 18:21:19 +02:00
recordTypingRules.tex	typing: put typing rules in figures	2017-04-25 09:45:54 +02:00
type-system.tex	fix chktex-reported errors	2017-05-11 08:21:06 +02:00