Re: [isabelle] General code_abort'd constant



On Wed, 9 Oct 2013, Andreas Lochbihler wrote:

Therefore, I would call the looping of the simplifier a bug, the looping of nbe a limitation.

@Makarius:
Can you add the attached hg export to isabelle-release?

Done.

See https://bitbucket.org/isabelle_project/isabelle-release/commits/da932f511746


	Makarius





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