<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2//EN">
<!--NewPage-->
<html>
<head>
<!-- generated by pizzadoc on Thu Oct 30 13:46:19 GMT+00:00 1997 -->
<title>
package G4ip
</title>
</head>
<body bgcolor=FFFFFF>
<a name="_top_"></a>
<code><font size=-1>
[<a href="index.html">all packages</a>]
[<a href="tree-pd.html">class hierarchy</a>]
[<a href="names-pd.html">index</a>]
</font></code>
<hr>
<h1>package G4ip</h1>
<!--pd-start-I-->
<!--pd-start-C-->
<h2><img src="p-images/class-index.gif" alt="Class Index"></h2>
<ul>
<!--pd-C-G4ip.Context--><li> <b>public class <a href="G4ip.Context.html">Context</a></b><br><font size=-1>Contexts act as multiset.</font>
<!--pd-C-G4ip.Form--><li> <b>public class <a href="G4ip.Form.html">Form</a></b><br><font size=-1>Class for propositional formulae.</font>
<!--pd-C-G4ip.Parser--><li> <b>public class <a href="G4ip.Parser.html">Parser</a></b><br><font size=-1>A left-to-right, rightmost-derivation parser.</font>
<!--pd-C-G4ip.ProofDisplay--><li> <b>public class <a href="G4ip.ProofDisplay.html">ProofDisplay</a></b><br><font size=-1>Draws a frame on the screen containing a proof.</font>
<!--pd-C-G4ip.Prover--><li> <b>public class <a href="G4ip.Prover.html">Prover</a></b><br><font size=-1>The Gi4p prover.</font>
<!--pd-C-G4ip.ProverApplet--><li> <b>public class <a href="G4ip.ProverApplet.html">ProverApplet</a></b><br><font size=-1>The applet for the prover.</font>
<!--pd-C-G4ip.Sequent--><li> <b>public class <a href="G4ip.Sequent.html">Sequent</a></b><br><font size=-1>An intuitionistic sequent of the form
"Gamma => G".</font>
<!--pd-C-G4ip.Token--><li> <b>public class <a href="G4ip.Token.html">Token</a></b><br><font size=-1></font>
<!--pd-end-C-->
</ul>
<!--pd-start-EX-->
<!--pd-start-ER-->
<hr>
<code><font size=-1>
[<a href="index.html">all packages</a>]
[<a href="tree-pd.html">class hierarchy</a>]
[<a href="names-pd.html">index</a>]
</font></code>
<h6>G4ip.html</h6>
</body>
</html>