../ Leslie_Lamport.jpg 02-May-2017 19:14 38K README.md 14-Jun-2017 16:12 1118 latex-mr.pdf 14-Jun-2017 16:10 323K latex-mr.tex 14-Jun-2017 16:10 172K