David Haller 8cd4dc250e Replaced pdftk with pdfunite ... pdftk is no longer in repos of recent distributions due to licensing issues, so I replaced it with pdfunite from poppler-utils, which has the same functionality.		2015-10-18 22:07:16 +02:00
..
Media	Added PDF versions for fast Overview and updated Readme	2015-10-12 00:49:46 +02:00
Koinduktion_reduktion.tex	Fixes in Bisimullation	2015-10-09 13:17:16 +02:00
Konfluenz.tex	small fixes	2015-10-09 15:20:44 +02:00
Makefile	Replaced pdftk with pdfunite	2015-10-18 22:07:16 +02:00
Polynomordnung.tex	smallfix polyordnung	2015-10-09 15:13:35 +02:00
PumpingLemma.tex	started Konfluenz	2015-10-08 14:17:26 +02:00
Strukturelle_Induktion.tex	small fixes	2015-10-09 15:20:44 +02:00
SystemF.tex	fixed little mistake in systemF tpyes	2015-10-08 19:40:07 +02:00