CDaut ab54b3ad33 Beispiel für Kern		2022-10-16 21:49:58 +02:00
..
deckblatt.tex	Pushout über KVR	2022-10-16 00:38:27 +02:00
Grundlagen.tex	\cdot zu \bullet geändert	2022-10-16 19:55:26 +02:00
Kegel_und_Ko.tex	Beispiel für Kern	2022-10-16 21:49:58 +02:00
motivation.tex	Motivation & basic toolchain setup	2022-09-27 01:43:18 +02:00
nat_trafo.tex	Kern	2022-10-16 19:50:28 +02:00