Incorporate SECA tech report
-
incorporate whatever I need or want -
turn all clause explanation into \descriptions -
remove references to techreport -
review one last time, to make sure that references to the tech report are gone
Edited by Markus Klinik