equal
deleted
inserted
replaced
1 <HTML><HEAD><TITLE>Isabelle Logics</TITLE></HEAD> |
1 <HTML><HEAD><TITLE>Isabelle Logics</TITLE></HEAD> |
2 <center> |
2 <center> |
3 <H2> |
3 <H2> |
4 <img src="../gif/Isabelle.gif"><P> |
4 <img src="gif/Isabelle.gif"><P> |
5 <i>The Logical Choice!</i> |
5 <i>The Logical Choice!</i> |
6 </H2> |
6 </H2> |
7 </center> |
7 </center> |
8 <P> |
8 <P> |
9 <A HREF="../graph/index.html">View version for Java-capable browsers</A> |
9 <A HREF="graph/index.html">View version for Java-capable browsers</A> |
10 <P> |
10 <P> |
11 Click on the logic's name to view a list of its theories. |
11 Click on the logic's name to view a list of its theories. |
12 <HR> |
12 <HR> |
13 First-Order Logic |
13 First-Order Logic |
14 <UL> |
14 <UL> |