Mercurial Mercurial > hg > public_html / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Prover/Doc/G4ip.html
changeset 96 907b1fff5637 
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Prover/Doc/G4ip.html	Thu Mar 15 10:07:28 2012 +0000
@@ -0,0 +1,47 @@
+<!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>
public_html