226 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Sheppy	df6e4daed0	small fixes	2015-10-09 15:20:44 +02:00
Sheppy	0d92cf4b92	smallfix polyordnung	2015-10-09 15:13:35 +02:00
Sheppy	638aac2933	.gitignore updated	2015-10-09 13:20:06 +02:00
Sheppy	5ff1f0ab28	Fixes in Bisimullation	2015-10-09 13:17:16 +02:00
Sheppy	b6b6c527cf	Braindumaufgabe added	2015-10-08 22:41:09 +02:00
Sheppy	da0d61be9d	f	2015-10-08 22:08:51 +02:00
Sheppy	a4b8efa672	fixes	2015-10-08 22:07:29 +02:00
Sheppy	6dad43a678	Bisimulation small changes	2015-10-08 21:44:34 +02:00
Sheppy	f633d257e9	spacefix	2015-10-08 20:58:43 +02:00
Sheppy	bf82659f44	fixed little mistake in systemF tpyes	2015-10-08 19:40:07 +02:00
Sheppy	a56973132c	made latex mk stfu	2015-10-08 15:19:28 +02:00
Sheppy	d2d4cfd51b	fixes	2015-10-08 15:15:34 +02:00
Sheppy	dc3ee72a39	fix	2015-10-08 15:06:33 +02:00
Sheppy	11552bd5af	Konfluenz fertig	2015-10-08 14:35:00 +02:00
Sheppy	43da8a85f1	started Konfluenz ... fixed missing negation in pumping lemma	2015-10-08 14:17:26 +02:00
Sheppy	1ecbe50259	small fixes	2015-10-08 12:07:30 +02:00
Sheppy	51fd2bba20	fail restored	2015-10-08 11:48:20 +02:00
Sheppy	86f0966d24	.	2015-10-08 11:42:34 +02:00
FAUSheppy	18c7166315	Create README.md	2015-10-08 11:28:04 +02:00
Sheppy	fa7f73191b	makefile	2015-10-08 11:24:49 +02:00
Sheppy	d3fcf2a149	Makefile updated	2015-10-08 11:20:07 +02:00
Sheppy	8752cdd412	finalized Pumping Lemma ... changed titlelayout and pagebreaks in multiple documents	2015-10-08 10:45:48 +02:00
Sheppy	b0eec2f644	PumpingLemma commit ... cleanup added to makefile	2015-10-07 23:39:35 +02:00
Sheppy	d6ce457287	new file: PumpingLemma.tex ... modified: SystemF.tex	2015-10-07 23:00:28 +02:00
Sheppy	295cd170a1	System F mostly done	2015-10-07 22:40:22 +02:00
Sheppy	3998c4330c	modified: SystemF.tex	2015-10-07 21:23:07 +02:00
Sheppy	af741b7ef0	makefile fixed	2015-10-07 21:19:24 +02:00
Sheppy	5f5bfb6e88	mv	2015-10-07 21:13:49 +02:00
Sheppy	758ebe0aa0	subfolder rename	2015-10-07 21:10:52 +02:00
Sheppy	0729ef863b	lots of renaming ... gitignore updated again SystemF continued	2015-10-07 21:09:34 +02:00
Sheppy	3c92a4e7c3	makefilefix	2015-10-07 18:14:24 +02:00
Sheppy	7710fd65ac	additions in SystemF part	2015-10-07 18:04:29 +02:00
Sheppy	7f8bdddd7c	Makefilen und gitignore	2015-10-07 16:36:46 +02:00
Sheppy	fdece8930e	Files fixed	2015-10-07 16:32:21 +02:00
Sheppy	a2612bbd13	Filenames changed	2015-10-07 16:30:14 +02:00
Sheppy	2f0ac44482	Strukturelle Induktion fertig und Titel gefixt	2015-10-07 15:58:49 +02:00
Sheppy	cb01955cc4	stuff	2015-10-07 14:02:58 +02:00
Sheppy	77effc3e87	All topics added, much todo though	2015-10-06 16:49:42 +02:00
Sheppy	ddbe6ebe45	neues PDF (source unavalible)	2015-10-06 15:56:45 +02:00
Sheppy	de8e51af04	ThProg Umlaute und kleine Aenderungen ... SystemF hinzugefuegt	2015-10-06 15:08:29 +02:00
Sheppy	5cd2c564a2	extra line of explanation added	2015-10-06 12:20:30 +02:00
greeny	c03cec58de	Merge pull request #2 from schokocappucino/patch-1 ... typo	2015-10-05 18:07:37 +02:00
Christian Bay	ae5a640348	Momenterzeugende Funktion k-tes Moment	2015-10-05 15:19:47 +02:00
Christian Bay	a6a35aba81	Erzeugende Funktion fix	2015-10-05 15:10:34 +02:00
Chris	470465ccde	typo	2015-10-05 14:56:15 +02:00
Christian Bay	6619c8b074	Binomialkoeffizient ausgebessert	2015-10-05 14:41:01 +02:00
Sheppy	2b277e59cd	Merge branch 'master' of github.com:FAUSheppy/Uni_Latex	2015-10-05 14:36:14 +02:00
Sheppy	6045d6a8ae	fixed biominalblablabla	2015-10-05 14:35:01 +02:00
Christian Bay	d0924ce312	Align newline removed	2015-10-05 11:51:14 +02:00
Christian Bay	fe45b3f941	Merge branch 'master' of https://github.com/FAUSheppy/Uni_Latex	2015-10-05 10:45:08 +02:00