6 Commits

Include renames

Author	SHA1	Message	Date
salagne	7c428ae040	merge and new corrections	2020-06-17 17:12:33 +02:00
salagne	5691178751	update pdfs	2020-06-10 15:10:51 +02:00
JosuaKugler	80a8fc0a35	proof 2.57 underbrace corrected	2020-05-22 09:21:31 +02:00
salagne	f2aeceb5ae	update pdfs	2020-05-21 10:24:24 +02:00
christian	32a9e0e08a	add intertext to improve aligning	2020-05-20 11:26:20 +02:00
christian	e4c6c9e0fa	add new stackrel-compatible-auto-inserting-padding-environment	2020-05-20 00:23:58 +02:00