Re: [isabelle] Emulating an Isabelle/ML toplevel
On Wed, 7 Oct 2015, Aleks Kissinger wrote:
For future ref, how can I reconstruct "canonical" order from the
sources? Is it (roughly) the bootstrap file, followed by Pure/ROOT.ML ?
Yes, Pure/ROOT.ML defines the order. It is often re-shuffled in subtle
ways as years are coming and going.
I merely walked through your isabelle_env.ML, and re-ordered it according
to what was written in Isabelle2015/ROOT.ML.
This archive was generated by a fusion of
Pipermail (Mailman edition) and