Sebastian Preisner 918a38722b Typo		8 years ago
..
aussagenlogik.md	Typo	8 years ago
definition.tex	restructure	8 years ago
operations.tex	restructure	8 years ago