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, http://afp.sourceforge.net/search.shtml works fairly nicely)
This archive was generated by a fusion of
Pipermail (Mailman edition) and