Re: [isabelle] Browsing Main?



On Wed, May 2, 2012 at 6:57 AM, Alfio Martini <alfio.martini at acm.org> wrote:
> Dear Users,
>
> Although we "all know" (via the pdf documentation available) what is in the
> Main.thy, it would be nice to browse through it
> directly at  http://isabelle.in.tum.de/dist/library/HOL/Main.html  (and
> thus seeing all the details in real Isabelle),
> instead of visiting the contributing theories in a brute-force way. Since
> the theory is somehow "empty" at the address above,
> I wonder if something like this could be available in the next release?

It is better to start your web browsing one level up, at

http://isabelle.in.tum.de/dist/library/HOL/

where you are one click away from seeing any ancestor theory of Main.

Or are you asking for something else?

- Brian





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