[isabelle] FFT.thy ?



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,
Walther





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