96
+ − 1
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2//EN">
+ − 2
<!--NewPage-->
+ − 3
<html>
+ − 4
<head>
+ − 5
<!-- generated by pizzadoc on Thu Oct 30 13:46:19 GMT+00:00 1997 -->
+ − 6
<title>
+ − 7
package G4ip
+ − 8
</title>
+ − 9
</head>
+ − 10
<body bgcolor=FFFFFF>
+ − 11
<a name="_top_"></a>
+ − 12
<code><font size=-1>
+ − 13
[<a href="index.html">all packages</a>]
+ − 14
[<a href="tree-pd.html">class hierarchy</a>]
+ − 15
[<a href="names-pd.html">index</a>]
+ − 16
</font></code>
+ − 17
<hr>
+ − 18
<h1>package G4ip</h1>
+ − 19
<!--pd-start-I-->
+ − 20
+ − 21
<!--pd-start-C-->
+ − 22
<h2><img src="p-images/class-index.gif" alt="Class Index"></h2>
+ − 23
<ul>
+ − 24
<!--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>
+ − 25
<!--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>
+ − 26
<!--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>
+ − 27
<!--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>
+ − 28
<!--pd-C-G4ip.Prover--><li> <b>public class <a href="G4ip.Prover.html">Prover</a></b><br><font size=-1>The Gi4p prover.</font>
+ − 29
<!--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>
+ − 30
<!--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
+ − 31
"Gamma => G".</font>
+ − 32
<!--pd-C-G4ip.Token--><li> <b>public class <a href="G4ip.Token.html">Token</a></b><br><font size=-1></font>
+ − 33
<!--pd-end-C-->
+ − 34
</ul>
+ − 35
<!--pd-start-EX-->
+ − 36
+ − 37
<!--pd-start-ER-->
+ − 38
+ − 39
<hr>
+ − 40
<code><font size=-1>
+ − 41
[<a href="index.html">all packages</a>]
+ − 42
[<a href="tree-pd.html">class hierarchy</a>]
+ − 43
[<a href="names-pd.html">index</a>]
+ − 44
</font></code>
+ − 45
<h6>G4ip.html</h6>
+ − 46
</body>
+ − 47
</html>