7 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
JosuaKugler	9a1c35636b	minor changes, added hyperref	2020-05-02 09:45:51 +02:00
JosuaKugler	1f5f1d8b4a	version 0 finished	2020-04-30 19:06:23 +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