SOMEthing went utterly wrong;

--- 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)
 *)