Lukas already assured me of that. No worries here. - Steven
On 22.07.2011, at 00:07, Alexander Krauss wrote: > On 07/21/2011 04:25 PM, Steven Obua wrote: >> Actually, there is a third code generator hidden somewhere in >> Isabelle. > > If you are talking about what I know under the name "Compute Oracle", then > rest assured that it is hidden well enough that the chance of some user > accidentially confusing it with the mainstream code generator is negligible. > > Interested parties can discover it using grep, of course. > > Alex _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev