11 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
christian	d8946650ff	add contradiction symbol	2020-05-06 18:35:52 +02:00
christian	812a20bb66	refactor satz and definition titles	2020-05-06 18:35:25 +02:00
christian	e50569099b	add ana5	2020-05-06 18:34:39 +02:00
christian	82dc897168	remove additional vertical pipe	2020-05-03 17:03:14 +02:00
christian	0ee655c856	replace double | with \Vert	2020-05-01 12:00:36 +02:00
christian	a861b07e65	move newcommands in document body and update complete script	2020-05-01 11:58:14 +02:00
christian	a729cf48c6	update ana2	2020-04-29 10:10:28 +02:00
christian	f72d654cba	fix lemma numbering	2020-04-28 23:43:44 +02:00
christian	1b374e0f61	move from article to book, improve headers	2020-04-28 22:09:21 +02:00
christian	a110be47da	add ana2	2020-04-28 21:13:22 +02:00
christian	9198d44f97	initial commit	2020-04-28 14:04:11 +02:00