equal
deleted
inserted
replaced
|
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> |