# HG changeset patch
# User wenzelm
# Date 1372264683 -7200
# Node ID c3b4b74a54fd68e23af5a005c504709737a19a9e
# Parent  960202346d0c6990b0a20df959b51aa513c703c5
SOMEthing went utterly wrong;

diff -r 960202346d0c -r c3b4b74a54fd src/FOLP/intprover.ML
--- a/src/FOLP/intprover.ML	Wed Jun 26 11:54:45 2013 +0200
+++ b/src/FOLP/intprover.ML	Wed Jun 26 18:38:03 2013 +0200
@@ -9,7 +9,7 @@
 Completeness (for propositional logic) is proved in 
 
 Roy Dyckhoff.
-Contraction-Free Sequent Calculi for IntPruitionistic Logic.
+Contraction-Free Sequent Calculi for Intuitionistic Logic.
 J. Symbolic Logic (in press)
 *)