diff -r 345dd18f020e -r 907b1fff5637 Prover/fun.html
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/Prover/fun.html Thu Mar 15 10:07:28 2012 +0000
@@ -0,0 +1,32 @@
+
+
+
+ Advanced Examples
+
+
+
+Some Advanced Examples
+
+Be cautious: some of the following formulae have big proofs!
+
+
+
+
+- => (((a & b) v (a->f) v (b->f))->f)->f
+- => (a & b & c v ((a->f) v (b->f) v (c->f))->f)->f
+- => d&(b->b->a)&(c->c->b)&(d->d->c)->a
+
+
+
+
+
+
+Christian Urban
+
+
+
+
+Last modified: Sun Nov 23 20:20:31 GMT 1997
+
+
+