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

Get types of generated Isabelle functions

Subject: Get types of generated Isabelle functions
From: Chris Warburton
Date: Fri, 01 Dec 2017 19:41:34 +0000
Resolution: fixed
State: resolved

We need to know the types for use with IsaCoSy

Follow-Ups:
- Re: Get types of generated Isabelle functions
  - From: Chris Warburton

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