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
where you are one click away from seeing any ancestor theory of Main.
Or are you asking for something else?
This archive was generated by a fusion of
Pipermail (Mailman edition) and