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