Aaron Huber 6f593b3627 Small changes and notes.		2021-09-01 11:27:11 -04:00
..
ICDT-submission-review.docx	Small changes and notes.	2021-09-01 11:27:11 -04:00
~$DT-submission-review.docx	Fixed Lemma 2.8 proof.	2021-08-31 15:06:12 -04:00