../ Leslie_Lamport.jpg 02-May-2017 21:44 39002 README.md 14-Jun-2017 18:42 1118 latex-mr.pdf 14-Jun-2017 18:40 330447 latex-mr.tex 14-Jun-2017 18:40 175678