[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Talking about Isabelle
- Subject: Re: Talking about Isabelle
- From: Chris Warburton
- Date: Mon, 15 Jan 2018 16:02:26 +0000
- In-reply-to: <8a72473c647ec0c9-0-artemis@nixos>
- References: <8a72473c647ec0c9-0-artemis@nixos>
Removed