cond_timeit now catches exception Time, which sml/nj
sometimes raised for no obvious reason
<HTML><HEAD><TITLE>Isabelle/Sequents</TITLE></HEAD>
<BODY><H2>Isabelle/Sequents</H2>
The name of every theory is linked to its theory file<BR>
<IMG SRC = "../Tools/red_arrow.gif" ALT = \/></A> stands for subtheories (child theories)<BR>
<IMG SRC = "../Tools/blue_arrow.gif" ALT = /\></A> stands for supertheories (parent theories)<P>
<A HREF = "../index.html">Back</A> to the index of Isabelle logics
<BR>View the <A HREF = "README.html">ReadMe</A> file.
<HR><A HREF = ".Sequents_sub.html"><IMG SRC = "../Tools/red_arrow.gif" BORDER=0 ALT = \/></A><A HREF = ".Sequents_sup.html"><IMG SRC = "../Tools/blue_arrow.gif" BORDER=0 ALT = /\></A> <A HREF = ".Sequents.html">Sequents</A><BR>
<A HREF = ".LK_sub.html"><IMG SRC = "../Tools/red_arrow.gif" BORDER=0 ALT = \/></A><A HREF = ".LK_sup.html"><IMG SRC = "../Tools/blue_arrow.gif" BORDER=0 ALT = /\></A> <A HREF = ".LK.html">LK</A><BR>
<A HREF = ".ILL_sub.html"><IMG SRC = "../Tools/red_arrow.gif" BORDER=0 ALT = \/></A><A HREF = ".ILL_sup.html"><IMG SRC = "../Tools/blue_arrow.gif" BORDER=0 ALT = /\></A> <A HREF = ".ILL.html">ILL</A><BR>
<A HREF = ".Modal0_sub.html"><IMG SRC = "../Tools/red_arrow.gif" BORDER=0 ALT = \/></A><A HREF = ".Modal0_sup.html"><IMG SRC = "../Tools/blue_arrow.gif" BORDER=0 ALT = /\></A> <A HREF = ".Modal0.html">Modal0</A><BR>
<A HREF = ".T_sub.html"><IMG SRC = "../Tools/red_arrow.gif" BORDER=0 ALT = \/></A><A HREF = ".T_sup.html"><IMG SRC = "../Tools/blue_arrow.gif" BORDER=0 ALT = /\></A> <A HREF = ".T.html">T</A><BR>
<A HREF = ".S4_sub.html"><IMG SRC = "../Tools/red_arrow.gif" BORDER=0 ALT = \/></A><A HREF = ".S4_sup.html"><IMG SRC = "../Tools/blue_arrow.gif" BORDER=0 ALT = /\></A> <A HREF = ".S4.html">S4</A><BR>
<A HREF = ".S43_sub.html"><IMG SRC = "../Tools/red_arrow.gif" BORDER=0 ALT = \/></A><A HREF = ".S43_sup.html"><IMG SRC = "../Tools/blue_arrow.gif" BORDER=0 ALT = /\></A> <A HREF = ".S43.html">S43</A><BR>
<!-->