Does Isabelle support code generation in C/C++ or maybe even java ???
Thanks, David BlubaughElectrical EngineerATR Associate
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev