<!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>