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

2015-10-29 Thread Florian Haftmann
Hi Frédéric, > 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... code_reflect is definitely not intended as a watering bin. The

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

2015-10-15 Thread Frédéric Tuong
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 ___