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

Re: Fix IsabelleTypeArgs parser

Subject: Re: Fix IsabelleTypeArgs parser
From: Chris Warburton
Date: Mon, 29 Jan 2018 01:58:15 +0000
In-reply-to: <bed12f828c26a9d0-0-artemis@nixos>
References: <bed12f828c26a9d0-0-artemis@nixos>

Seems to work with real samples.

References:
- Fix IsabelleTypeArgs parser
  - From: Chris Warburton

Prev by Date: Re: Fix IsabelleTypeArgs parser
Next by Date: Get args from multiple types at once
Previous by thread: Re: Fix IsabelleTypeArgs parser
Next by thread: Get args from multiple types at once
Index(es):
- Date
- Thread