images/ Edited: Mon 23 Jan 2023

lecture1.tex Edited: Mon 23 Jan 2023

aliases.txt Edited: Sat 05 Nov 2022

title.txt Edited: Fri 28 Oct 2022

tsqx-2_.dvi Edited: Thu 28 Oct 2021