equal
deleted
inserted
replaced
1 <HTML><HEAD><TITLE>Isabelle Logics</TITLE></HEAD> |
1 <HTML><HEAD><TITLE>Isabelle Logics</TITLE></HEAD> |
2 <H2>Isabelle Logics</H2> |
2 <center> |
|
3 <H2> |
|
4 <img align=middle src="Tools/Isabelle.gif"> <i>The Logical Choice!</i> |
|
5 </H2> |
|
6 </center> |
|
7 <P> |
3 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. |
4 <HR> |
9 <HR> |
5 First-Order Logic |
10 First-Order Logic |
6 <UL> |
11 <UL> |
7 <LI><A HREF = "FOL/index.html">FOL</A> |
12 <LI><A HREF = "FOL/index.html">FOL</A> |