equal
deleted
inserted
replaced
1 <HTML><HEAD><TITLE>Isabelle Logics ({ISABELLE})</TITLE></HEAD> |
1 <HTML><HEAD><TITLE>Isabelle Logics ({ISABELLE})</TITLE></HEAD> |
2 <center> |
2 <center> |
3 <img src="gif/isabelle.gif"><P> |
3 <img src="gif/isabelle.gif"><P> |
4 </center> |
4 </center> |
5 <P> |
5 <P> |
6 Switch to <A HREF="graph/index.html">Java-based</A> version including theory graph browser. |
6 Switch to <A HREF="graph/index.html">Java-based</A> version, including theory graph browser. |
7 <P> |
7 <P> |
8 Click on the logic's name to view a list of its theories. |
8 Click on the logic's name to view a list of its theories. |
9 <HR> |
9 <HR> |
10 First-Order Logic |
10 First-Order Logic |
11 <UL> |
11 <UL> |