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 <H2>Isabelle Logics</H2> |
3 Click on the logic's name to view a list of its theories. |
3 Click on the logic's name to view a list of its theories. |
4 |
|
5 <!-- |
|
6 <HR> |
4 <HR> |
7 First-Order Logic |
5 First-Order Logic |
8 <UL> |
6 <UL> |
9 <LI><A HREF = "FOL/index.html">FOL</A> |
7 <LI><A HREF = "FOL/index.html">FOL</A> |
10 <LI><A HREF = "ZF/index.html">ZF</A> |
8 <LI><A HREF = "ZF/index.html">ZF</A> |
11 <LI><A HREF = "CCL/index.html">CCL</A> |
9 <LI><A HREF = "CCL/index.html">CCL</A> |
12 <LI><A HREF = "LCF/index.html">LCF</A> |
10 <LI><A HREF = "LCF/index.html">LCF</A> |
13 </UL> |
11 </UL> |
14 --> |
|
15 |
|
16 <HR> |
12 <HR> |
17 Higher-Order Logic |
13 Higher-Order Logic |
18 <UL> |
14 <UL> |
19 <LI><A HREF = "HOL/index.html">HOL</A> |
15 <LI><A HREF = "HOL/index.html">HOL</A> |
20 <LI><A HREF = "HOLCF/index.html">HOLCF</A> |
16 <LI><A HREF = "HOLCF/index.html">HOLCF</A> |
21 <LI><A HREF = "FOCUS/index.html">FOCUS</A> |
|
22 </UL> |
17 </UL> |
23 |
|
24 <!-- |
|
25 <HR> |
18 <HR> |
26 Sequent Calculus |
19 Sequent Calculus |
27 <UL> |
20 <UL> |
28 <LI><A HREF = "LK/index.html">LK</A> |
21 <LI><A HREF = "LK/index.html">LK</A> |
29 <LI><A HREF = "Modal/index.html">Modal</A> |
22 <LI><A HREF = "Modal/index.html">Modal</A> |
33 <UL> |
26 <UL> |
34 <LI><A HREF = "CTT/index.html">CTT</A> |
27 <LI><A HREF = "CTT/index.html">CTT</A> |
35 <LI><A HREF = "Cube/index.html">Cube</A> |
28 <LI><A HREF = "Cube/index.html">Cube</A> |
36 <LI><A HREF = "FOLP/index.html">FOLP</A> |
29 <LI><A HREF = "FOLP/index.html">FOLP</A> |
37 </UL> |
30 </UL> |
38 --> |
|
39 |
|
40 <HR> |
31 <HR> |
41 </BODY></HTML> |
32 </BODY></HTML> |
42 |
|