Hi Florian,For a few number of constants it should be possible to write all constants by hand. For a large number, I will see how feasible it is to generate this list of constants, or find otherwise a simpler solution...
Cheers, Frédéric _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
