Re: [isabelle] FFT.thy ?

On 06/08/2011, at 10:11 AM, Walther Neuper wrote:

> In Sascha's and Jasmin's talk at CADE they mentioned "FFT" in their benchmarks, i.e. fast fourier transform as they confirmed in personal communication.
> From the most recent clone 01d6ab227069 I get nothing by
>    Isabelle/src$ find -name "F*.thy"
>    Isabelle/src$ grep -r "ourier" *
> I'd be grateful for another hint,

It's an AFP entry:

(Harder to grep for, but to find things in the AFP, works fairly nicely)


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.