7 Commits

Include renames

Author	SHA1	Message	Date
christian	83222b58fe	use new lecture class for ana1	2020-06-02 12:10:05 +02:00
christian	8fe976ff88	update ana 1 scripts	2020-04-22 12:45:39 +02:00
christian	568dd6f750	fix some typos	2020-01-15 11:50:54 +01:00
christian	95752d21d5	remove enumerate from proof	2019-12-23 19:59:35 +01:00
christian	a67d263b1c	remove parantheses	2019-12-23 19:49:32 +01:00
christian	bb3200060b	fix wrong structure	2019-12-23 19:47:36 +01:00
christian	effbab2688	la9 changes, add ana18	2019-12-20 12:20:00 +01:00