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

Re: Get types of generated Isabelle functions

Subject: Re: Get types of generated Isabelle functions
From: Chris Warburton
Date: Wed, 13 Dec 2017 10:47:41 +0000
In-reply-to: <c2213dd10651f215-0-artemis@nixos>
References: <c2213dd10651f215-0-artemis@nixos>

We now extract these using a Racket script

References:
- Get types of generated Isabelle functions
  - From: Chris Warburton

Prev by Date: Re: Fix let bindings
Next by Date: Re: Put sampled names into IsaCoSy signature
Previous by thread: Get types of generated Isabelle functions
Next by thread: Put sampled names into IsaCoSy signature
Index(es):
- Date
- Thread