Re: [isabelle] function internals in Isabelle2016-RC1



On Mon, 18 Jan 2016, Thiemann, Rene wrote:

I encountered the problem that not ALL function internals are exposed,

Is there any reason for always hiding _graph_def, or can it be made available again?

Internals follow the internal structure of packages, so this is not "function_internals", but "inductive_internals".


	Makarius




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.