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

Re: Put sampled names into IsaCoSy signature

Subject: Re: Put sampled names into IsaCoSy signature
From: Chris Warburton
Date: Wed, 20 Dec 2017 11:00:53 +0000
In-reply-to: <b3d4c59d4490e2d8-0-artemis@nixos>
References: <b3d4c59d4490e2d8-0-artemis@nixos>

Filling in the gaps seems to work, tested on a sample of nat functions
(monomorphic) and list functions (polymorphic). Both find equations.

References:
- Put sampled names into IsaCoSy signature
  - From: Chris Warburton

Prev by Date: Re: Get types of generated Isabelle functions
Next by Date: Make standalone equation-filtering command
Previous by thread: Re: Put sampled names into IsaCoSy signature
Next by thread: Remove obsolete tests
Index(es):
- Date
- Thread