../ COPYING 25-May-2006 22:48 18008 tempora-doc.pdf 03-Feb-2016 21:13 239907 tempora-doc.tex 03-Feb-2016 21:13 7519