2 Commits

Include renames

Author	SHA1	Message	Date
Morten Hjorth-Jensen	ed7c56b77e	update chapter 1	2022-08-30 23:19:48 +02:00
Morten Hjorth-Jensen	1d1e5a2475	update lecture notes	2022-08-24 22:09:34 +02:00