[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Fix let bindings

Subject: Re: Fix let bindings
From: Chris Warburton
Date: Wed, 13 Dec 2017 10:47:13 +0000
In-reply-to: <d8dbda64b0689e12-0-artemis@nixos>
References: <d8dbda64b0689e12-0-artemis@nixos>

Fixed by patching tip tools

References:
- Fix let bindings
  - From: Chris Warburton

Prev by Date: Re: Turn standalone tests into inline dependencies
Next by Date: Re: Get types of generated Isabelle functions
Previous by thread: Re: Fix let bindings
Next by thread: Get types of generated Isabelle functions
Index(es):
- Date
- Thread