--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/Prover/Doc/G4ip.Form.html Thu Mar 15 10:07:28 2012 +0000
@@ -0,0 +1,108 @@
+<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2//EN">
+<!--NewPage-->
+<html>
+<head>
+<!-- generated by pizzadoc on Thu Oct 30 13:46:18 GMT+00:00 1997 -->
+<title>
+public class G4ip.Form
+</title>
+</head>
+<body bgcolor=FFFFFF>
+<a name="_top_"></a>
+<code><font size=-1>
+[<a href="index.html">all packages</a>]
+[<a href="G4ip.html">package G4ip</a>]
+[<a href="tree-pd.html">class hierarchy</a>]
+[<a href="names-pd.html">index</a>]
+</font></code>
+<hr>
+<h1>public class G4ip.Form</h1>
+(source file: Formulae.pizza)<br>
+<pre>
+<a href="http://java.sun.com:80/products/jdk/1.1/docs/api/java.lang.Object.html">java.lang.Object</a>
+ |
+ +----G4ip.Form
+</pre>
+<hr>
+<pre>
+public class <a href="G4ip.Form.html">Form</a>
+</pre>
+<dl>
+ <dd> Class for propositional formulae.<p><p></dd>
+ <dd><dl><dt></dt>
+ <dt> <b>Author:</b></dt>
+ <dd> Christian Urban</dd>
+ </dl></dd>
+</dl>
+<hr>
+<p><h2><img src="p-images/constructor-index.gif" alt="Constuctor Index"></h2>
+<dl>
+ <dt><img src="p-images/yellow-ball-small.gif" alt="O "> <b><a href="G4ip.Form.html#And(Form, Form)">And</a></b>(Form, Form)
+ <dd>
+ <dt><img src="p-images/yellow-ball-small.gif" alt="O "> <b><a href="G4ip.Form.html#Atm(String)">Atm</a></b>(String)
+ <dd>
+ <dt><img src="p-images/yellow-ball-small.gif" alt="O "> <b><a href="G4ip.Form.html#Equ(Form, Form)">Equ</a></b>(Form, Form)
+ <dd>
+ <dt><img src="p-images/yellow-ball-small.gif" alt="O "> <b><a href="G4ip.Form.html#False()">False</a></b>()
+ <dd>
+ <dt><img src="p-images/yellow-ball-small.gif" alt="O "> <b><a href="G4ip.Form.html#Imp(Form, Form)">Imp</a></b>(Form, Form)
+ <dd>
+ <dt><img src="p-images/yellow-ball-small.gif" alt="O "> <b><a href="G4ip.Form.html#Or(Form, Form)">Or</a></b>(Form, Form)
+ <dd>
+</dl>
+<p><h2><img src="p-images/method-index.gif" alt="Methods"></h2>
+<dl>
+ <dt><img src="p-images/red-ball-small.gif" alt="O "> <b><a href="G4ip.Form.html#toString()">toString</a></b>()
+ <dd>
+</dl>
+<p><h2><img src="p-images/constructors.gif" alt="Constructors"></h2>
+<img src="p-images/yellow-ball.gif" alt="O "> <a name="False"></a><a name="False()"></a><b>False</b><br>
+<pre>
+public case False();
+</pre>
+<p>
+<img src="p-images/yellow-ball.gif" alt="O "> <a name="And"></a><a name="And(Form, Form)"></a><b>And</b><br>
+<pre>
+public case And(<a href="G4ip.Form.html">Form</a> c1,
+ <a href="G4ip.Form.html">Form</a> c2);
+</pre>
+<p>
+<img src="p-images/yellow-ball.gif" alt="O "> <a name="Or"></a><a name="Or(Form, Form)"></a><b>Or</b><br>
+<pre>
+public case Or(<a href="G4ip.Form.html">Form</a> c1,
+ <a href="G4ip.Form.html">Form</a> c2);
+</pre>
+<p>
+<img src="p-images/yellow-ball.gif" alt="O "> <a name="Imp"></a><a name="Imp(Form, Form)"></a><b>Imp</b><br>
+<pre>
+public case Imp(<a href="G4ip.Form.html">Form</a> c1,
+ <a href="G4ip.Form.html">Form</a> c2);
+</pre>
+<p>
+<img src="p-images/yellow-ball.gif" alt="O "> <a name="Equ"></a><a name="Equ(Form, Form)"></a><b>Equ</b><br>
+<pre>
+public case Equ(<a href="G4ip.Form.html">Form</a> c1,
+ <a href="G4ip.Form.html">Form</a> c2);
+</pre>
+<p>
+<img src="p-images/yellow-ball.gif" alt="O "> <a name="Atm"></a><a name="Atm(String)"></a><b>Atm</b><br>
+<pre>
+public case Atm(<a href="http://java.sun.com:80/products/jdk/1.1/docs/api/java.lang.String.html">String</a> c);
+</pre>
+<p>
+<p><h2><img src="p-images/methods.gif" alt="Methods"></h2>
+<img src="p-images/red-ball.gif" alt="O "> <a name="toString"></a><a name="toString()"></a><b>toString</b><br>
+<pre>
+public <a href="http://java.sun.com:80/products/jdk/1.1/docs/api/java.lang.String.html">String</a> toString();
+</pre>
+<p>
+<hr>
+<code><font size=-1>
+[<a href="index.html">all packages</a>]
+[<a href="G4ip.html">package G4ip</a>]
+[<a href="tree-pd.html">class hierarchy</a>]
+[<a href="names-pd.html">index</a>]
+</font></code>
+<h6>G4ip.Form.html</h6>
+</body>
+</html>