diff -r 345dd18f020e -r 907b1fff5637 Prover/Doc/G4ip.html
--- /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 @@
+
+
+
+
+
+
+package G4ip
+
+
+
+
+
+[all packages]
+[class hierarchy]
+[index]
+
+
+package G4ip
+
+
+
+
+
+- public class Context
Contexts act as multiset.
+ - public class Form
Class for propositional formulae.
+ - public class Parser
A left-to-right, rightmost-derivation parser.
+ - public class ProofDisplay
Draws a frame on the screen containing a proof.
+ - public class Prover
The Gi4p prover.
+ - public class ProverApplet
The applet for the prover.
+ - public class Sequent
An intuitionistic sequent of the form
+ "Gamma => G".
+ - public class Token
+
+
+
+
+
+
+
+
+[all packages]
+[class hierarchy]
+[index]
+
+G4ip.html
+
+