equal
deleted
inserted
replaced
1 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> |
1 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> |
2 |
2 |
3 <!-- $Id$ --> |
3 <!-- $Id$ --> |
4 <HTML><HEAD><TITLE>Sequents/README</TITLE></HEAD><BODY> |
4 |
|
5 <HTML> |
|
6 |
|
7 <HEAD> |
|
8 <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1"> |
|
9 <TITLE>Sequents/README</TITLE> |
|
10 </HEAD> |
|
11 |
|
12 <BODY> |
5 |
13 |
6 <H2>Sequents: Various Sequent Calculi</H2> |
14 <H2>Sequents: Various Sequent Calculi</H2> |
7 |
15 |
8 This directory contains the ML sources of the Isabelle system for |
16 This directory contains the ML sources of the Isabelle system for |
9 various Sequent, Linear, and Modal Logic.<p> |
17 various Sequent, Linear, and Modal Logic.<p> |