From mboxrd@z Thu Jan  1 00:00:00 1970
Date: Wed, 4 Oct 2017 14:58:52 -0700 (PDT)
From: "Daniel R. Grayson" <danielrich...@gmail.com>
To: Homotopy Type Theory <HomotopyT...@googlegroups.com>
Message-Id: <273a0b42-d03c-4e94-bf13-84c5e6d4171c@googlegroups.com>
In-Reply-To: <a81a14f2-8fb7-43db-8415-5d615ba01016@googlegroups.com>
References: <a81a14f2-8fb7-43db-8415-5d615ba01016@googlegroups.com>
Subject: Re: Voevodsky obituary
MIME-Version: 1.0
Content-Type: multipart/mixed; 
	boundary="----=_Part_15953_653408808.1507154332617"

------=_Part_15953_653408808.1507154332617
Content-Type: multipart/alternative; 
	boundary="----=_Part_15954_2013356283.1507154332617"

------=_Part_15954_2013356283.1507154332617
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 7bit

The link should work now.

------=_Part_15954_2013356283.1507154332617
Content-Type: text/html; charset=utf-8
Content-Transfer-Encoding: 7bit

<div dir="ltr">The link should work now.</div>
------=_Part_15954_2013356283.1507154332617--

------=_Part_15953_653408808.1507154332617--