../ Leslie_Lamport.jpg 02-May-2017 14:44 38K README.md 14-Jun-2017 11:42 1118 latex-mr.pdf 14-Jun-2017 11:40 323K latex-mr.tex 14-Jun-2017 11:40 172K