[isabelle-dev] Explicit option "open" for code_reflect

Frédéric Tuong frederic.tuong at lri.fr
Thu Oct 15 12:48:58 CEST 2015


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




More information about the isabelle-dev mailing list