--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/Prover/G4ip.html Thu Mar 15 10:07:28 2012 +0000
@@ -0,0 +1,27 @@
+<HTML>
+<HEAD>
+ <META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=iso-8859-1">
+ <TITLE>G4ip Infernce Rules</TITLE>
+</HEAD>
+<BODY TEXT="#000000" BGCOLOR="#C7C3C7" LINK="#0000EF" VLINK="#51188E" ALINK="#FF0000">
+
+<H2>The Inference Rules of G4ip (LJT) </H2>
+
+A <A HREF="G4ip.dvi">dvi</A> and <A HREF="G4ip.ps">ps</A> version; the rules can be found in
+<A HREF="index.html#Dyckhoff92">[Dyckhoff, 1992]</a>.
+
+<HR>
+
+<img src="G4ip.gif" width=467 height=559>
+
+<HR>
+<ADDRESS>
+<A HREF="mailto:Christian.Urban@cl.cam.ac.uk">Christian Urban</A></ADDRESS>
+
+
+<P><!-- Created: Tue Mar 4 00:23:25 GMT 1997 -->
+<!-- hhmts start -->
+Last modified: Wed Jan 28 22:14:28 GMT 1998
+<!-- hhmts end -->
+</BODY>
+</HTML>